Bob wears all blue. When you talk about Dave, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Gary is known to be rough and green. Harry is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. If a red person is cold and kind to others, they also tend to be blue. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. I have found that if someone is kind and red, that they are quite often nice. Maybe someone is rough and blue with the cold. A big, blue person who is kind is also round. Someone who is colored green might feel blue, but if they are kind it means they will always be nice. People that are blue, cold, and big, are rather rough.
Bob is blue.
("Bob" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Dave is rough.
True
1
proof
[(triple2)]
("Dave" "is" "rough" "+")
triple2
Gary is not green.
False
1
inv-proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Harry is nice.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Harry" "is" "nice" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Harry" "is" "nice" "-")
((triple9 triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
True
6
proof
[(((triple7 ((triple9 triple8) -> rule3) triple8) -> rule2))]
("Harry" "is" "blue" "+")
((triple7 ((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((triple7 ((triple9 triple8) -> rule3) triple8) -> rule2))]
("Harry" "is" "blue" "-")
((triple7 ((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
True
8
proof
[(((triple7 ((triple7 ((triple9 triple8) -> rule3) triple8) -> rule2)) -> rule4))]
("Harry" "is" "cold" "+")
((triple7 ((triple7 ((triple9 triple8) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not cold.
False
8
inv-proof
[(((triple7 ((triple7 ((triple9 triple8) -> rule3) triple8) -> rule2)) -> rule4))]
("Harry" "is" "cold" "-")
((triple7 ((triple7 ((triple9 triple8) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is blue.[(triple1)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is rough.[(triple2)] Gary is green.[(triple6)] Gary is rough.[(triple5)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Harry is nice.[(((triple9 triple8) -> rule3))] @2: Harry is blue.[(((triple7 ((triple9 triple8) -> rule3) triple8) -> rule2))] @3: Harry is cold.[(((triple7 ((triple7 ((triple9 triple8) -> rule3) triple8) -> rule2)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 ((triple9 triple8) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 ((triple7 ((triple9 triple8) -> (rule3 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob wears all blue.
When you talk about Dave, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Gary is known to be rough and green.
Harry is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
If a red person is cold and kind to others, they also tend to be blue.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
I have found that if someone is kind and red, that they are quite often nice.
Maybe someone is rough and blue with the cold.
A big, blue person who is kind is also round.
Someone who is colored green might feel blue, but if they are kind it means they will always be nice.
People that are blue, cold, and big, are rather rough.