Dave grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. That guy Eric is big, but he's always kind to little ones. Harry is young and rough and comes across as cold, but he is just young and green. Really, he is as nice and kind as you could want. If you have a big and round shape then you are going to be young, too. Young people who rough around in the cold are known to be very red. A person who is cold with a red nose will be feeling blue. A person who is kind but also rough and is also colored blue, will be shaped round. Young people that are also red and green, may be fairly rough, also.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Harry is kind.
True
1
proof
[(triple8)]
("Harry" "is" "kind" "+")
triple8
Harry is not rough.
False
1
inv-proof
[(triple6)]
("Harry" "is" "rough" "-")
triple6
Harry is red.
True
4
proof
[(((triple6 triple5 triple10) -> rule2))]
("Harry" "is" "red" "+")
((triple6 triple5 triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
4
inv-proof
[(((triple6 triple5 triple10) -> rule2))]
("Harry" "is" "red" "-")
((triple6 triple5 triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
True
6
proof
[(((triple10 ((triple6 triple5 triple10) -> rule2)) -> rule3))]
("Harry" "is" "blue" "+")
((triple10 ((triple6 triple5 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((triple10 ((triple6 triple5 triple10) -> rule2)) -> rule3))]
("Harry" "is" "blue" "-")
((triple10 ((triple6 triple5 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
True
9
proof
[(((triple8 triple6 ((triple10 ((triple6 triple5 triple10) -> rule2)) -> rule3)) -> rule4))]
("Harry" "is" "round" "+")
((triple8 triple6 ((triple10 ((triple6 triple5 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not round.
False
9
inv-proof
[(((triple8 triple6 ((triple10 ((triple6 triple5 triple10) -> rule2)) -> rule3)) -> rule4))]
("Harry" "is" "round" "-")
((triple8 triple6 ((triple10 ((triple6 triple5 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Dave is blue.[(triple2)] Dave is rough.[(triple1)] Eric is big.[(triple4)] Eric is kind.[(triple3)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] Harry is nice.[(triple7)] Harry is rough.[(triple6)] Harry is young.[(triple5)] @1: Harry is red.[(((triple6 triple5 triple10) -> rule2))] @2: Harry is blue.[(((triple10 ((triple6 triple5 triple10) -> rule2)) -> rule3))] @3: Harry is round.[(((triple8 triple6 ((triple10 ((triple6 triple5 triple10) -> rule2)) -> rule3)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
((triple6 triple5 triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 ((triple6 triple5 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple8 triple6 ((triple10 ((triple6 triple5 triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Dave grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
That guy Eric is big, but he's always kind to little ones.
Harry is young and rough and comes across as cold, but he is just young and green; Really, he is as nice and kind as you could want.
If you have a big and round shape then you are going to be young, too.
Young people who rough around in the cold are known to be very red.
A person who is cold with a red nose will be feeling blue.
A person who is kind but also rough and is also colored blue, will be shaped round.
Young people that are also red and green, may be fairly rough, also.