That rough but kind guy is Alan, the green one. Eric was born only a few years ago so he is young. Big Harry is nice but also rough. Surprisingly, all the kind, green people were also big. Big and round people can't help but be cold all of the time. A young round person who is green is also red. Big people are also round people. Whenever you see Pete you run into a young man rough, which means he will be nice. It's always true that round, kind people are rough as well.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
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 big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Alan is kind.
True
1
proof
[(triple2)]
("Alan" "is" "kind" "+")
triple2
Alan is not rough.
False
1
inv-proof
[(triple1 OR ((((((triple2 triple3) -> rule1)) -> rule4) triple2) -> rule6))]
("Alan" "is" "rough" "-")
triple1
((((((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Harry is round.
True
2
proof
[(((triple7) -> rule4))]
("Harry" "is" "round" "+")
((triple7) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Alan" "is" "big" "-")
((triple2 triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Harry is cold.
True
4
proof
[(((triple7 ((triple7) -> rule4)) -> rule2))]
("Harry" "is" "cold" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not cold.
False
4
inv-proof
[(((triple7 ((triple7) -> rule4)) -> rule2))]
("Harry" "is" "cold" "-")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Alan is cold.
True
8
proof
[(((((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1)) -> rule4)) -> rule2))]
("Alan" "is" "cold" "+")
((((triple2 triple3) -> (rule1 % int3)) ((((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not cold.
False
8
inv-proof
[(((((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1)) -> rule4)) -> rule2))]
("Alan" "is" "cold" "-")
((((triple2 triple3) -> (rule1 % int3)) ((((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1 OR ((((((triple2 triple3) -> rule1)) -> rule4) triple2) -> rule6))] Eric is young.[(triple4)] Harry is big.[(triple7)] Harry is nice.[(triple6)] Harry is rough.[(triple5)] @1: Alan is big.[(((triple2 triple3) -> rule1))] Harry is round.[(((triple7) -> rule4))] @2: Alan is round.[(((((triple2 triple3) -> rule1)) -> rule4))] Harry is cold.[(((triple7 ((triple7) -> rule4)) -> rule2))] @3: Alan is cold.[(((((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1)) -> rule4)) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
((((((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((triple2 triple3) -> (rule1 % int3)) ((((triple2 triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
That rough but kind guy is Alan, the green one.
Eric was born only a few years ago so he is young.
Big Harry is nice but also rough.
Surprisingly, all the kind, green people were also big.
Big and round people can't help but be cold all of the time.
A young round person who is green is also red.
Big people are also round people.
Whenever you see Pete you run into a young man rough, which means he will be nice.
It's always true that round, kind people are rough as well.