As much as Bob is nice, he is also cold and often feels blue. Dave is big and tends to wear red shirts. Gary is nice, even when he is rough and red with anger. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Someone who is both red and blue will also be a nice person. People who are rough are young. Big people that are cold will show you how rough they actually are. A young round person who is green is also red. A round and blue individual will also be a cold individual. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. A cold, red, kind soul will also prove to be nice.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
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 round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and cold and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Bob is blue.
True
1
proof
[(triple3)]
("Bob" "is" "blue" "+")
triple3
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Bob is big.
True
3
proof
[(((triple2 triple1) -> rule6))]
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple2 triple1) -> rule6))]
("Bob" "is" "big" "-")
((triple2 triple1) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
True
5
proof
[(((triple2 ((triple2 triple1) -> rule6)) -> rule3))]
("Bob" "is" "rough" "+")
((triple2 ((triple2 triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((triple2 ((triple2 triple1) -> rule6)) -> rule3))]
("Bob" "is" "rough" "-")
((triple2 ((triple2 triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
True
6
proof
[(((((triple2 ((triple2 triple1) -> rule6)) -> rule3)) -> rule2))]
("Bob" "is" "young" "+")
((((triple2 ((triple2 triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not young.
False
6
inv-proof
[(((((triple2 ((triple2 triple1) -> rule6)) -> rule3)) -> rule2))]
("Bob" "is" "young" "-")
((((triple2 ((triple2 triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is nice.[(triple1)] Dave is big.[(triple5)] Dave is red.[(triple4)] Gary is nice.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Harry is blue.[(triple10)] Harry is rough.[(triple9)] @1: Bob is big.[(((triple2 triple1) -> rule6))] Gary is young.[(((triple6) -> rule2))] Harry is young.[(((triple9) -> rule2))] @2: Bob is rough.[(((triple2 ((triple2 triple1) -> rule6)) -> rule3))] @3: Bob is young.[(((((triple2 ((triple2 triple1) -> rule6)) -> rule3)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((triple2 triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple2 ((triple2 triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
As much as Bob is nice, he is also cold and often feels blue.
Dave is big and tends to wear red shirts.
Gary is nice, even when he is rough and red with anger.
Harry grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Someone who is both red and blue will also be a nice person.
People who are rough are young.
Big people that are cold will show you how rough they actually are.
A young round person who is green is also red.
A round and blue individual will also be a cold individual.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
A cold, red, kind soul will also prove to be nice.