Alan always goes out of his way to show that he is kind to people. Bob wears all blue. Charlie is still young and round, but he is nice to everyone and kind to animals. Red Harry is what folks call him, because he is quite red. Kind young people are red. Anyone in the world who is nice, red, and young, is simultaneously rough. When you meet someone that's rough, kind and nice you'll see they are green as well. Color anybody red and blue, then make them rough, and they will surely be round.
Alan is kind.
("Alan" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is kind.
True
1
proof
[(triple6)]
("Charlie" "is" "kind" "+")
triple6
Charlie is not nice.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "nice" "-")
triple5
Charlie is red.
True
3
proof
[(((triple6 triple3) -> rule1))]
("Charlie" "is" "red" "+")
((triple6 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple6 triple3) -> rule1))]
("Charlie" "is" "red" "-")
((triple6 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
True
6
proof
[(((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2))]
("Charlie" "is" "rough" "+")
((triple5 ((triple6 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not rough.
False
6
inv-proof
[(((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2))]
("Charlie" "is" "rough" "-")
((triple5 ((triple6 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
True
9
proof
[(((((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2) triple6 triple5) -> rule3))]
("Charlie" "is" "green" "+")
((((triple5 ((triple6 triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not green.
False
9
inv-proof
[(((((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2) triple6 triple5) -> rule3))]
("Charlie" "is" "green" "-")
((((triple5 ((triple6 triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Alan is kind.[(triple1)] Bob is blue.[(triple2)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Harry is red.[(triple7)] @1: Charlie is red.[(((triple6 triple3) -> rule1))] @2: Charlie is rough.[(((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2))] @3: Charlie is green.[(((((triple5 ((triple6 triple3) -> rule1) triple3) -> rule2) triple6 triple5) -> rule3))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 ((triple6 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple5 ((triple6 triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Bob wears all blue.
Charlie is still young and round, but he is nice to everyone and kind to animals.
Red Harry is what folks call him, because he is quite red.
Kind young people are red.
Anyone in the world who is nice, red, and young, is simultaneously rough.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Color anybody red and blue, then make them rough, and they will surely be round.