Because Alan gets cold easily he tends to appear round from bundling up. I knew Dave was young, and rough, but he surprised me with how cold and blue he acted. Eric gets red when he is mad and tends to act very cold. Gary is big and tends to wear red shirts. Young people who are big, downhearted, and blue are kind. A person who is cold with a red nose will be feeling blue. Rough people will often be blue.  They thrive on being kind and nice. There are so many rough, young people and for some reason they are all big too.
Alan is round.
("Alan" "is" "round" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("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 young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple6)]
("Dave" "is" "blue" "+")
triple6
Dave is not cold.
False
1
inv-proof
[(triple5)]
("Dave" "is" "cold" "-")
triple5
Dave is big.
True
3
proof
[(((triple3 triple4) -> rule4))]
("Dave" "is" "big" "+")
((triple3 triple4) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule4))]
("Dave" "is" "big" "-")
((triple3 triple4) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
True
6
proof
[(((((triple3 triple4) -> rule4) triple6 triple3) -> rule1))]
("Dave" "is" "kind" "+")
((((triple3 triple4) -> (rule4 % int2)) triple6 triple3) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((((triple3 triple4) -> rule4) triple6 triple3) -> rule1))]
("Dave" "is" "kind" "-")
((((triple3 triple4) -> (rule4 % int2)) triple6 triple3) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
True
9
proof
[(((triple4 ((((triple3 triple4) -> rule4) triple6 triple3) -> rule1) triple6) -> rule3))]
("Dave" "is" "nice" "+")
((triple4 ((((triple3 triple4) -> (rule4 % int3)) triple6 triple3) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not nice.
False
9
inv-proof
[(((triple4 ((((triple3 triple4) -> rule4) triple6 triple3) -> rule1) triple6) -> rule3))]
("Dave" "is" "nice" "-")
((triple4 ((((triple3 triple4) -> (rule4 % int3)) triple6 triple3) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Alan is cold.[(triple2)] Alan is round.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Dave is rough.[(triple4)] Dave is young.[(triple3)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Gary is big.[(triple10)] Gary is red.[(triple9)] @1: Dave is big.[(((triple3 triple4) -> rule4))] Eric is blue.[(((triple8 triple7) -> rule2))] @2: Dave is kind.[(((((triple3 triple4) -> rule4) triple6 triple3) -> rule1))] @3: Dave is nice.[(((triple4 ((((triple3 triple4) -> rule4) triple6 triple3) -> rule1) triple6) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
((triple3 triple4) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple8 triple7) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3 triple4) -> (rule4 % int2)) triple6 triple3) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 ((((triple3 triple4) -> (rule4 % int3)) triple6 triple3) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Because Alan gets cold easily he tends to appear round from bundling up.
I knew Dave was young, and rough, but he surprised me with how cold and blue he acted.
Eric gets red when he is mad and tends to act very cold.
Gary is big and tends to wear red shirts.
Young people who are big, downhearted, and blue are kind.
A person who is cold with a red nose will be feeling blue.
Rough people will often be blue; They thrive on being kind and nice.
There are so many rough, young people and for some reason they are all big too.