Alan is big and rough. Even though Dave is big and round, he is cold much of the time. Eric was cold as his rough hands clung to the side of the ship, green with nausea. Even through the worst of it he was still kind. Fred gets red when he is mad and tends to act very cold. A red colored person who is kind and feels cold is usually considered nice. Big people that are cold will show you how rough they actually are. A nice person who is always seen to be wearing green clothes will be rather big in size. A person with a rough quality is also a person with a blue quality. A cold and blue appearing person will be young as well. Nice people who are green and red will also have round shapes.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice and red then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Dave is round.
True
1
proof
[(triple3)]
("Dave" "is" "round" "+")
triple3
Dave is not round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "-")
triple3
Dave is rough.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Dave" "is" "rough" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple4 triple5) -> rule2))]
("Dave" "is" "rough" "-")
((triple4 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
True
4
proof
[(((((triple4 triple5) -> rule2)) -> rule4))]
("Dave" "is" "blue" "+")
((((triple4 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not blue.
False
4
inv-proof
[(((((triple4 triple5) -> rule2)) -> rule4))]
("Dave" "is" "blue" "-")
((((triple4 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
True
6
proof
[(((triple4 ((((triple4 triple5) -> rule2)) -> rule4)) -> rule5))]
("Dave" "is" "young" "+")
((triple4 ((((triple4 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not young.
False
6
inv-proof
[(((triple4 ((((triple4 triple5) -> rule2)) -> rule4)) -> rule5))]
("Dave" "is" "young" "-")
((triple4 ((((triple4 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is round.[(triple3)] Eric is cold.[(triple9)] Eric is green.[(triple8)] Eric is kind.[(triple7)] Eric is rough.[(triple6)] Fred is cold.[(triple11)] Fred is red.[(triple10)] @1: Alan is blue.[(((triple1) -> rule4))] Dave is rough.[(((triple4 triple5) -> rule2))] Eric is blue.[(((triple6) -> rule4))] @2: Dave is blue.[(((((triple4 triple5) -> rule2)) -> rule4))] Eric is young.[(((triple9 ((triple6) -> rule4)) -> rule5))] @3: Dave is young.[(((triple4 ((((triple4 triple5) -> rule2)) -> rule4)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Alan is blue.
("Alan" "is" "blue" "+")
((triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple6) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple4 triple5) -> (rule2 % int2))) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple9 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple4 ((((triple4 triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Alan is big and rough.
Even though Dave is big and round, he is cold much of the time.
Eric was cold as his rough hands clung to the side of the ship, green with nausea; Even through the worst of it he was still kind.
Fred gets red when he is mad and tends to act very cold.
A red colored person who is kind and feels cold is usually considered nice.
Big people that are cold will show you how rough they actually are.
A nice person who is always seen to be wearing green clothes will be rather big in size.
A person with a rough quality is also a person with a blue quality.
A cold and blue appearing person will be young as well.
Nice people who are green and red will also have round shapes.