Bob is young and kind.  But he plays really rough with his friends. Charlie is blue from ink he spilled on himself while being kind and helping some children paint. Dave is big and round. His cheeks are rosy red and he is kind even though he is blue. Harry ate some rotten meat and now feels green. A male or female with rough, kind and round traits will surely have a nice quality, as well. A green person who is kind and a bit blue is young. Rough folks with green and red coloration tend to feel cold no matter what. When somebody is round, kind and blue, you know they'll also be red. A blue and round human being will also be a green human being. A blue and red colored person that is young is also very cold. Someone with the traits of being cold and red is also going to be someone who is big.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Dave is round.
True
1
proof
[(triple6)]
("Dave" "is" "round" "+")
triple6
Charlie is not blue.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "blue" "-")
triple5
Dave is green.
True
3
proof
[(((triple9 triple6) -> rule5))]
("Dave" "is" "green" "+")
((triple9 triple6) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple9 triple6) -> rule5))]
("Dave" "is" "green" "-")
((triple9 triple6) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
True
6
proof
[(((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2))]
("Dave" "is" "young" "+")
((triple9 triple8 ((triple9 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not young.
False
6
inv-proof
[(((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2))]
("Dave" "is" "young" "-")
((triple9 triple8 ((triple9 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
True
9
proof
[(((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) triple7) -> rule6) OR ((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) ((triple6 triple8 triple9) -> rule4)) -> rule6))]
("Dave" "is" "cold" "+")
((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int4))) -> (rule2 % int3)) ((triple6 triple8 triple9) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not cold.
False
9
inv-proof
[(((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) triple7) -> rule6) OR ((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) ((triple6 triple8 triple9) -> rule4)) -> rule6))]
("Dave" "is" "cold" "-")
((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int4))) -> (rule2 % int3)) ((triple6 triple8 triple9) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Dave is big.[(triple10 OR ((((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) triple7) -> rule6) triple7) -> rule7) OR ((((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) triple7) -> rule6) ((triple6 triple8 triple9) -> rule4)) -> rule7) OR ((((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) ((triple6 triple8 triple9) -> rule4)) -> rule6) triple7) -> rule7) OR ((((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) ((triple6 triple8 triple9) -> rule4)) -> rule6) ((triple6 triple8 triple9) -> rule4)) -> rule7))] Dave is blue.[(triple9)] Dave is kind.[(triple8)] Dave is red.[(triple7 OR ((triple6 triple8 triple9) -> rule4))] Dave is round.[(triple6)] Harry is green.[(triple11)] @1: Dave is green.[(((triple9 triple6) -> rule5))] @2: Dave is young.[(((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2))] @3: Dave is cold.[(((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) triple7) -> rule6) OR ((triple9 ((triple9 triple8 ((triple9 triple6) -> rule5)) -> rule2) ((triple6 triple8 triple9) -> rule4)) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple10
((((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int5))) -> (rule2 % int4)) triple7) -> (rule6 % int3)) ((triple6 triple8 triple9) -> (rule4 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6 triple8 triple9) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6 triple8 triple9) -> (rule4 % int3))) -> (rule6 % int2)) ((triple6 triple8 triple9) -> (rule4 % int3))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple6 triple8 triple9) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Dave is green.
("Dave" "is" "green" "+")
((triple9 triple6) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple9 triple8 ((triple9 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((triple9 triple8 ((triple9 triple6) -> (rule5 % int4))) -> (rule2 % int3)) ((triple6 triple8 triple9) -> (rule4 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Bob is young and kind; But he plays really rough with his friends.
Charlie is blue from ink he spilled on himself while being kind and helping some children paint.
Dave is big and round; His cheeks are rosy red and he is kind even though he is blue.
Harry ate some rotten meat and now feels green.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
A green person who is kind and a bit blue is young.
Rough folks with green and red coloration tend to feel cold no matter what.
When somebody is round, kind and blue, you know they'll also be red.
A blue and round human being will also be a green human being.
A blue and red colored person that is young is also very cold.
Someone with the traits of being cold and red is also going to be someone who is big.