Alan ate some rotten meat and now feels green. Dave has a round face and is very nice. Young Eric is wearing green pants. Fred 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. A nice and colored blue person will be rather big. Nice people who are big are always cold because they can't find space near the heater. If a nice person is round shaped, they feel blue about it. Anybody with rough, kind and blue aspects will certainly be cold, too.
Alan is green.
("Alan" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Fred is kind.
True
1
proof
[(triple7)]
("Fred" "is" "kind" "+")
triple7
Fred is not green.
False
1
inv-proof
[(triple8)]
("Fred" "is" "green" "-")
triple8
Dave is blue.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Dave" "is" "blue" "+")
((triple3 triple2) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Dave" "is" "blue" "-")
((triple3 triple2) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
True
5
proof
[(((((triple3 triple2) -> rule3) triple3) -> rule1))]
("Dave" "is" "big" "+")
((((triple3 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not big.
False
5
inv-proof
[(((((triple3 triple2) -> rule3) triple3) -> rule1))]
("Dave" "is" "big" "-")
((((triple3 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
True
7
proof
[(((((((triple3 triple2) -> rule3) triple3) -> rule1) triple3) -> rule2))]
("Dave" "is" "cold" "+")
((((((triple3 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not cold.
False
7
inv-proof
[(((((((triple3 triple2) -> rule3) triple3) -> rule1) triple3) -> rule2))]
("Dave" "is" "cold" "-")
((((((triple3 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Alan is green.[(triple1)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is green.[(triple5)] Eric is young.[(triple4)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is rough.[(triple6)] @1: Dave is blue.[(((triple3 triple2) -> rule3))] @2: Dave is big.[(((((triple3 triple2) -> rule3) triple3) -> rule1))] @3: Dave is cold.[(((((((triple3 triple2) -> rule3) triple3) -> rule1) triple3) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 triple2) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple3 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple3 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Alan ate some rotten meat and now feels green.
Dave has a round face and is very nice.
Young Eric is wearing green pants.
Fred 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.
A nice and colored blue person will be rather big.
Nice people who are big are always cold because they can't find space near the heater.
If a nice person is round shaped, they feel blue about it.
Anybody with rough, kind and blue aspects will certainly be cold, too.