Upon meeting Charlie, you'll notice he's green and kind. The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been. Big Harry is fairly young. When he was a small child he would wear his parka and you could see his little green body in the distance. His lips would turn blue when he was cold. A downhearted blue person who is kind is round. When someone is blue, lives green they can be rough but kind. Anybody with big, rough and nice qualities is bound to also be young. A cold person, who is kind in nature and young in years, is round. An individual with green, blue and big characteristics will also be rough.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough and nice then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Harry is not blue.
False
1
inv-proof
[(triple10)]
("Harry" "is" "blue" "-")
triple10
Harry is rough.
True
4
proof
[(((triple8 triple10 triple11) -> rule5))]
("Harry" "is" "rough" "+")
((triple8 triple10 triple11) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
4
inv-proof
[(((triple8 triple10 triple11) -> rule5))]
("Harry" "is" "rough" "-")
((triple8 triple10 triple11) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
True
7
proof
[(((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2))]
("Harry" "is" "kind" "+")
((triple10 ((triple8 triple10 triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not kind.
False
7
inv-proof
[(((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2))]
("Harry" "is" "kind" "-")
((triple10 ((triple8 triple10 triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
True
9
proof
[(((((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2) triple10) -> rule1) OR ((triple9 ((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2) triple7) -> rule4))]
("Harry" "is" "round" "+")
((((triple10 ((triple8 triple10 triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple9 ((triple10 ((triple8 triple10 triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not round.
False
9
inv-proof
[(((((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2) triple10) -> rule1) OR ((triple9 ((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2) triple7) -> rule4))]
("Harry" "is" "round" "-")
((((triple10 ((triple8 triple10 triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple9 ((triple10 ((triple8 triple10 triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "rough" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is green.[(triple2)] Charlie is kind.[(triple1)] Dave is green.[(triple6)] Dave is nice.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is young.[(triple7)] @1: Harry is rough.[(((triple8 triple10 triple11) -> rule5))] @2: Harry is kind.[(((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2))] @3: Harry is round.[(((((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2) triple10) -> rule1) OR ((triple9 ((triple10 ((triple8 triple10 triple11) -> rule5) triple8) -> rule2) triple7) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 triple10 triple11) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 ((triple8 triple10 triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple10 ((triple8 triple10 triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple9 ((triple10 ((triple8 triple10 triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Upon meeting Charlie, you'll notice he's green and kind.
The diving trip left Dave red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Big Harry is fairly young; When he was a small child he would wear his parka and you could see his little green body in the distance; His lips would turn blue when he was cold.
A downhearted blue person who is kind is round.
When someone is blue, lives green they can be rough but kind.
Anybody with big, rough and nice qualities is bound to also be young.
A cold person, who is kind in nature and young in years, is round.
An individual with green, blue and big characteristics will also be rough.