Alan ate some rotten meat and now feels green. Charlie 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. Dave is a pretty young guy, who is quite nice, with a round shape, and red and green features. Gary is blue and cold. A rough, blue person is often said to be nice. A kind and cold person who is green is, surprisingly, also blue. If someone is blue, young, and rough, they qualify as being round. If a person is quite big and also round then they are certainly rough too. I bet you didn't know that nice, kind, cold people happen to be red.
Alan is green.
("Alan" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Dave is not nice.
False
1
inv-proof
[(triple9)]
("Dave" "is" "nice" "-")
triple9
Charlie is blue.
True
4
proof
[(((triple3 triple5 triple4) -> rule2))]
("Charlie" "is" "blue" "+")
((triple3 triple5 triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
4
inv-proof
[(((triple3 triple5 triple4) -> rule2))]
("Charlie" "is" "blue" "-")
((triple3 triple5 triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
True
6
proof
[(((((triple3 triple5 triple4) -> rule2) triple2) -> rule1))]
("Charlie" "is" "nice" "+")
((((triple3 triple5 triple4) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((((triple3 triple5 triple4) -> rule2) triple2) -> rule1))]
("Charlie" "is" "nice" "-")
((((triple3 triple5 triple4) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
True
9
proof
[(((((((triple3 triple5 triple4) -> rule2) triple2) -> rule1) triple3 triple5) -> rule5))]
("Charlie" "is" "red" "+")
((((((triple3 triple5 triple4) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not red.
False
9
inv-proof
[(((((((triple3 triple5 triple4) -> rule2) triple2) -> rule1) triple3 triple5) -> rule5))]
("Charlie" "is" "red" "-")
((((((triple3 triple5 triple4) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Alan is green.[(triple1)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is rough.[(triple2)] Dave is green.[(triple10)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Dave is young.[(triple6)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] @1: Charlie is blue.[(((triple3 triple5 triple4) -> rule2))] @2: Charlie is nice.[(((((triple3 triple5 triple4) -> rule2) triple2) -> rule1))] @3: Charlie is red.[(((((((triple3 triple5 triple4) -> rule2) triple2) -> rule1) triple3 triple5) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3 triple5 triple4) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3 triple5 triple4) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple3 triple5 triple4) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan ate some rotten meat and now feels green.
Charlie 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.
Dave is a pretty young guy, who is quite nice, with a round shape, and red and green features.
Gary is blue and cold.
A rough, blue person is often said to be nice.
A kind and cold person who is green is, surprisingly, also blue.
If someone is blue, young, and rough, they qualify as being round.
If a person is quite big and also round then they are certainly rough too.
I bet you didn't know that nice, kind, cold people happen to be red.