Dave is young and rough and comes across as cold, but he is just young and green. Really, he is as nice and kind as you could want. Fred is big and rough. Although Gary is young and nice, he is as cold as ice. A red colored person who is kind and feels cold is usually considered nice. Young and rough people tend to be green too. A young and cold person is red. Anyone that is a red, nice soul will be big, too. Anybody that is big is also someone who is going to be blue. Rough people will often be blue.  They thrive on being kind and nice. A blue person who is young and rough is also red.
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
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 blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple9)]
("Gary" "is" "young" "+")
triple9
Gary is not cold.
False
1
inv-proof
[(triple11)]
("Gary" "is" "cold" "-")
triple11
Gary is red.
True
3
proof
[(((triple11 triple9) -> rule3))]
("Gary" "is" "red" "+")
((triple11 triple9) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is not red.
False
3
inv-proof
[(((triple6 triple1) -> rule3))]
("Dave" "is" "red" "-")
((triple6 triple1) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is big.
True
5
proof
[(((((triple11 triple9) -> rule3) triple10) -> rule4))]
("Gary" "is" "big" "+")
((((triple11 triple9) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Dave is not big.
False
5
inv-proof
[(((((triple6 triple1) -> rule3) triple3) -> rule4) OR ((((triple6 triple1) -> rule3) ((((triple6 triple1) -> rule3) triple4 triple6) -> rule1)) -> rule4))]
("Dave" "is" "big" "-")
((((triple6 triple1) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple6 triple1) -> (rule3 % int3)) ((((triple6 triple1) -> (rule3 % int3)) triple4 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Gary is blue.
True
6
proof
[(((((((triple11 triple9) -> rule3) triple10) -> rule4)) -> rule5))]
("Gary" "is" "blue" "+")
((((((triple11 triple9) -> (rule3 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not blue.
False
6
inv-proof
[(((((((triple11 triple9) -> rule3) triple10) -> rule4)) -> rule5))]
("Gary" "is" "blue" "-")
((((((triple11 triple9) -> (rule3 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Dave is cold.[(triple6)] Dave is green.[(triple5 OR ((triple1 triple2) -> rule2))] Dave is kind.[(triple4)] Dave is nice.[(triple3 OR ((((triple6 triple1) -> rule3) triple4 triple6) -> rule1))] Dave is rough.[(triple2)] Dave is young.[(triple1)] Fred is big.[(triple8)] Fred is rough.[(triple7)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Dave is red.[(((triple6 triple1) -> rule3))] Fred is blue.[(((triple8) -> rule5))] Gary is red.[(((triple11 triple9) -> rule3))] @2: Dave is big.[(((((triple6 triple1) -> rule3) triple3) -> rule4) OR ((((triple6 triple1) -> rule3) ((((triple6 triple1) -> rule3) triple4 triple6) -> rule1)) -> rule4))] Gary is big.[(((((triple11 triple9) -> rule3) triple10) -> rule4))] @3: Dave is blue.[(((((((triple6 triple1) -> rule3) triple3) -> rule4)) -> rule5) OR ((((((triple6 triple1) -> rule3) ((((triple6 triple1) -> rule3) triple4 triple6) -> rule1)) -> rule4)) -> rule5))] Gary is blue.[(((((((triple11 triple9) -> rule3) triple10) -> rule4)) -> rule5))]
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
((triple1 triple2) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
((((triple6 triple1) -> (rule3 % int2)) triple4 triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple6 triple1) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple8) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple11 triple9) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple6 triple1) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple6 triple1) -> (rule3 % int3)) ((((triple6 triple1) -> (rule3 % int3)) triple4 triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((triple11 triple9) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple6 triple1) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple6 triple1) -> (rule3 % int4)) ((((triple6 triple1) -> (rule3 % int4)) triple4 triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple11 triple9) -> (rule3 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Dave is young and rough and comes across as cold, but he is just young and green; Really, he is as nice and kind as you could want.
Fred is big and rough.
Although Gary is young and nice, he is as cold as ice.
A red colored person who is kind and feels cold is usually considered nice.
Young and rough people tend to be green too.
A young and cold person is red.
Anyone that is a red, nice soul will be big, too.
Anybody that is big is also someone who is going to be blue.
Rough people will often be blue; They thrive on being kind and nice.
A blue person who is young and rough is also red.