Bob is young and kind.  But he plays really rough with his friends. They always call him rough Eric. Harry, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. People,though rough and red,tend to be cold too. People blue with cold are definitely green and new in these parts. A person who is very round is nice but also quite rough. Anyone will tell you the kind and the big are also rough. It's true that green and blue people are also red people. Most kind and cold people are also big.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Harry is not round.
False
1
inv-proof
[(triple5)]
("Harry" "is" "round" "-")
triple5
Harry is rough.
True
3
proof
[(((triple5 triple7) -> rule3))]
("Harry" "is" "rough" "+")
((triple5 triple7) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple5 triple7) -> rule3))]
("Harry" "is" "rough" "-")
((triple5 triple7) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
True
5
proof
[(((((triple5 triple7) -> rule3) triple6) -> rule1))]
("Harry" "is" "cold" "+")
((((triple5 triple7) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((((triple5 triple7) -> rule3) triple6) -> rule1))]
("Harry" "is" "cold" "-")
((((triple5 triple7) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
True
7
proof
[(((triple8 ((((triple5 triple7) -> rule3) triple6) -> rule1)) -> rule2))]
("Harry" "is" "green" "+")
((triple8 ((((triple5 triple7) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not green.
False
7
inv-proof
[(((triple8 ((((triple5 triple7) -> rule3) triple6) -> rule1)) -> rule2))]
("Harry" "is" "green" "-")
((triple8 ((((triple5 triple7) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Eric" "is" "cold" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Eric is rough.[(triple4)] Harry is blue.[(triple8)] Harry is nice.[(triple7)] Harry is red.[(triple6)] Harry is round.[(triple5)] @1: Harry is rough.[(((triple5 triple7) -> rule3))] @2: Harry is cold.[(((((triple5 triple7) -> rule3) triple6) -> rule1))] @3: Harry is green.[(((triple8 ((((triple5 triple7) -> rule3) triple6) -> rule1)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
((triple5 triple7) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple5 triple7) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple8 ((((triple5 triple7) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Bob is young and kind; But he plays really rough with his friends.
They always call him rough Eric.
Harry, who is a very nice man, is also quite round in shape; He found himself quite blue from being made fun of him, but that also made his face red with anger.
People,though rough and red,tend to be cold too.
People blue with cold are definitely green and new in these parts.
A person who is very round is nice but also quite rough.
Anyone will tell you the kind and the big are also rough.
It's true that green and blue people are also red people.
Most kind and cold people are also big.