This Dave guy is red. He is also kind and yet cold. Young, red Gary is nice. Harry is big and green guy whose cold personality makes him seem very rough. Surprisingly, all the kind, green people were also big. As far as anyone can tell, whoever is kind, rough, and big is a round person. It's easy to be round and blue when you are young. Someone big and rough in shape is always kind. Someone who is round like a dumpling and cold like an icicle are very young in age. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Harry is green.
True
1
proof
[(triple8)]
("Harry" "is" "green" "+")
triple8
Dave is not red.
False
1
inv-proof
[(triple1)]
("Dave" "is" "red" "-")
triple1
Harry is kind.
True
3
proof
[(((triple10 triple7) -> rule4))]
("Harry" "is" "kind" "+")
((triple10 triple7) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple10 triple7) -> rule4))]
("Harry" "is" "kind" "-")
((triple10 triple7) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
True
6
proof
[(((((triple10 triple7) -> rule4) triple7 triple10) -> rule2))]
("Harry" "is" "round" "+")
((((triple10 triple7) -> (rule4 % int2)) triple7 triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not round.
False
6
inv-proof
[(((((triple10 triple7) -> rule4) triple7 triple10) -> rule2))]
("Harry" "is" "round" "-")
((((triple10 triple7) -> (rule4 % int2)) triple7 triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
True
8
proof
[(((((((triple10 triple7) -> rule4) triple7 triple10) -> rule2) triple9) -> rule5))]
("Harry" "is" "young" "+")
((((((triple10 triple7) -> (rule4 % int3)) triple7 triple10) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not young.
False
8
inv-proof
[(((((((triple10 triple7) -> rule4) triple7 triple10) -> rule2) triple9) -> rule5))]
("Harry" "is" "young" "-")
((((((triple10 triple7) -> (rule4 % int3)) triple7 triple10) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Dave is cold.[(triple3)] Dave is kind.[(triple2)] Dave is red.[(triple1)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Gary is young.[(triple4)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is rough.[(triple7)] @1: Harry is kind.[(((triple10 triple7) -> rule4))] @2: Harry is round.[(((((triple10 triple7) -> rule4) triple7 triple10) -> rule2))] @3: Harry is young.[(((((((triple10 triple7) -> rule4) triple7 triple10) -> rule2) triple9) -> rule5))]
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple7) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple10 triple7) -> (rule4 % int2)) triple7 triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((((triple10 triple7) -> (rule4 % int3)) triple7 triple10) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
This Dave guy is red; He is also kind and yet cold.
Young, red Gary is nice.
Harry is big and green guy whose cold personality makes him seem very rough.
Surprisingly, all the kind, green people were also big.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
It's easy to be round and blue when you are young.
Someone big and rough in shape is always kind.
Someone who is round like a dumpling and cold like an icicle are very young in age.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.