Most everyone considers Bob a rough fellow, but very kind. He's often categorized as blue, and he's big. Dave is big and tends to wear red shirts. Even though Gary is still young, he is already very round.  Gary is a nice guy and when he gets cold his skin turns blue. Harry wears all blue. Young people that are blue will still be kind because they are rough to the touch. Young and kind folks are always big. Rough people will often be blue.  They thrive on being kind and nice. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Julie is really nice to gardeners since she has a green thumb. If you meet someone who is big and kind with cold skin, they will be young. If a person has round shape then they are also green and red.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Gary is cold.
True
1
proof
[(triple10)]
("Gary" "is" "cold" "+")
triple10
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Gary is green.
True
2
proof
[(((triple9) -> rule5))]
("Gary" "is" "green" "+")
((triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is not nice.
False
4
inv-proof
[(((triple1 triple2 triple3) -> rule3))]
("Bob" "is" "nice" "-")
((triple1 triple2 triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
True
5
proof
[(((((triple1 triple2 triple3) -> rule3)) -> rule5))]
("Bob" "is" "green" "+")
((((triple1 triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not green.
False
5
inv-proof
[(((((triple1 triple2 triple3) -> rule3)) -> rule5))]
("Bob" "is" "green" "-")
((((triple1 triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
True
8
proof
[(((((((triple1 triple2 triple3) -> rule3)) -> rule5) triple2 triple3) -> rule4))]
("Bob" "is" "red" "+")
((((((triple1 triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple2 triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not red.
False
8
inv-proof
[(((((((triple1 triple2 triple3) -> rule3)) -> rule5) triple2 triple3) -> rule4))]
("Bob" "is" "red" "-")
((((((triple1 triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple2 triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "young" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is rough.[(triple1)] Dave is big.[(triple6)] Dave is red.[(triple5)] Gary is blue.[(triple11)] Gary is cold.[(triple10)] Gary is nice.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] Harry is blue.[(triple12)] @1: Bob is nice.[(((triple1 triple2 triple3) -> rule3))] Gary is green.[(((triple9) -> rule5))] @2: Bob is green.[(((((triple1 triple2 triple3) -> rule3)) -> rule5))] Gary is red.[(((((triple9) -> rule5) triple8) -> rule7))] @3: Bob is red.[(((((((triple1 triple2 triple3) -> rule3)) -> rule5) triple2 triple3) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple2 triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple1 triple2 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple9) -> (rule5 % int2)) triple8) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((((triple1 triple2 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple2 triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Most everyone considers Bob a rough fellow, but very kind; He's often categorized as blue, and he's big.
Dave is big and tends to wear red shirts.
Even though Gary is still young, he is already very round; Gary is a nice guy and when he gets cold his skin turns blue.
Harry wears all blue.
Young people that are blue will still be kind because they are rough to the touch.
Young and kind folks are always big.
Rough people will often be blue; They thrive on being kind and nice.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Julie is really nice to gardeners since she has a green thumb.
If you meet someone who is big and kind with cold skin, they will be young.
If a person has round shape then they are also green and red.