Colored red, green, and blue, Alan is quite the round person. Charlie ate some rotten meat and now feels green. Fred is a red fellow who habitually looks blue. He's often cold. Lucky for us, people that are round and red are kind to strangers. Anyone you find who happens to be kind and blue will also be very nice. A big, nice, blue person is likely to be young. Someone that is red and blue because they are cold are also round.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Alan is kind.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Alan" "is" "kind" "+")
((triple1 triple2) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Fred is not round.
False
4
inv-proof
[(((triple8 triple6 triple7) -> rule4))]
("Fred" "is" "round" "-")
((triple8 triple6 triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
True
6
proof
[(((((triple8 triple6 triple7) -> rule4) triple6) -> rule1))]
("Fred" "is" "kind" "+")
((((triple8 triple6 triple7) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((((triple8 triple6 triple7) -> rule4) triple6) -> rule1))]
("Fred" "is" "kind" "-")
((((triple8 triple6 triple7) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
True
8
proof
[(((((((triple8 triple6 triple7) -> rule4) triple6) -> rule1) triple8) -> rule2))]
("Fred" "is" "nice" "+")
((((((triple8 triple6 triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not nice.
False
8
inv-proof
[(((((((triple8 triple6 triple7) -> rule4) triple6) -> rule1) triple8) -> rule2))]
("Fred" "is" "nice" "-")
((((((triple8 triple6 triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple5)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is red.[(triple6)] @1: Alan is kind.[(((triple1 triple2) -> rule1))] Fred is round.[(((triple8 triple6 triple7) -> rule4))] @2: Alan is nice.[(((((triple1 triple2) -> rule1) triple4) -> rule2))] Fred is kind.[(((((triple8 triple6 triple7) -> rule4) triple6) -> rule1))] @3: Fred is nice.[(((((((triple8 triple6 triple7) -> rule4) triple6) -> rule1) triple8) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Alan is kind.
("Alan" "is" "kind" "+")
((triple1 triple2) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple8 triple6 triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1 triple2) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple8 triple6 triple7) -> (rule4 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((((triple8 triple6 triple7) -> (rule4 % int3)) triple6) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Colored red, green, and blue, Alan is quite the round person.
Charlie ate some rotten meat and now feels green.
Fred is a red fellow who habitually looks blue; He's often cold.
Lucky for us, people that are round and red are kind to strangers.
Anyone you find who happens to be kind and blue will also be very nice.
A big, nice, blue person is likely to be young.
Someone that is red and blue because they are cold are also round.