Bob ate some rotten meat and now feels green. Red Charlie is what folks call him, because he is quite red. They always call him rough Eric. Young Harry is round from too much candy.  He is feeling cold even though he's red from being in the sun too long. A kind person with green and red skin must be big too. Any cold, round, green person is going to be young at the same time. In every case of people being kind and blue and green, we find they are concurrently nice. A round shaped and red person is definitely nice. A big and rough person can be misleading because they are cold and blue as well. A nice red person that is cold is always big, I have found. If a person is quite big and also round then they are certainly rough too.
Bob is green.
("Bob" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple5)]
("Harry" "is" "round" "-")
triple5
Harry is nice.
True
3
proof
[(((triple5 triple6) -> rule4))]
("Harry" "is" "nice" "+")
((triple5 triple6) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule4))]
("Harry" "is" "nice" "-")
((triple5 triple6) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
True
6
proof
[(((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6))]
("Harry" "is" "big" "+")
((triple6 ((triple5 triple6) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not big.
False
6
inv-proof
[(((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6))]
("Harry" "is" "big" "-")
((triple6 ((triple5 triple6) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
True
8
proof
[(((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7))]
("Harry" "is" "rough" "+")
((((triple6 ((triple5 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not rough.
False
8
inv-proof
[(((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7))]
("Harry" "is" "rough" "-")
((((triple6 ((triple5 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
True
16
proof
[(((triple7 ((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) ((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7)) -> rule5))]
("Harry" "is" "blue" "+")
((triple7 ((triple6 ((triple5 triple6) -> (rule4 % int4)) triple7) -> (rule6 % int3)) ((((triple6 ((triple5 triple6) -> (rule4 % int4)) triple7) -> (rule6 % int3)) triple5) -> (rule7 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is not blue.
False
16
inv-proof
[(((triple7 ((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) ((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7)) -> rule5))]
("Harry" "is" "blue" "-")
((triple7 ((triple6 ((triple5 triple6) -> (rule4 % int4)) triple7) -> (rule6 % int3)) ((((triple6 ((triple5 triple6) -> (rule4 % int4)) triple7) -> (rule6 % int3)) triple5) -> (rule7 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Bob is green.[(triple1)] Charlie is red.[(triple2)] Eric is rough.[(triple3)] Harry is cold.[(triple7)] Harry is red.[(triple6)] Harry is round.[(triple5)] Harry is young.[(triple4)] @1: Harry is nice.[(((triple5 triple6) -> rule4))] @2: Harry is big.[(((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6))] @3: Harry is rough.[(((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7))] @4: Harry is blue.[(((triple7 ((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) ((((triple6 ((triple5 triple6) -> rule4) triple7) -> rule6) triple5) -> rule7)) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
((triple5 triple6) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple6 ((triple5 triple6) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple6 ((triple5 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 ((triple6 ((triple5 triple6) -> (rule4 % int4)) triple7) -> (rule6 % int3)) ((((triple6 ((triple5 triple6) -> (rule4 % int4)) triple7) -> (rule6 % int3)) triple5) -> (rule7 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Bob ate some rotten meat and now feels green.
Red Charlie is what folks call him, because he is quite red.
They always call him rough Eric.
Young Harry is round from too much candy; He is feeling cold even though he's red from being in the sun too long.
A kind person with green and red skin must be big too.
Any cold, round, green person is going to be young at the same time.
In every case of people being kind and blue and green, we find they are concurrently nice.
A round shaped and red person is definitely nice.
A big and rough person can be misleading because they are cold and blue as well.
A nice red person that is cold is always big, I have found.
If a person is quite big and also round then they are certainly rough too.