Red Alan is what folks call him, because he is quite red. Young Dave is already big and has rough, red skin from working outdoors.  Dave is kind but is feeling blue because of family troubles. Fred always goes out of his way to show that he is kind to people. An individual that fits the nice, red, and kind description will fit the description of big, too. I have found that if someone is kind and red, that they are quite often nice. Nice people who have red cold skin are round. Nice people are cold people.
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Dave is not big.
False
1
inv-proof
[(triple7 OR ((triple4 triple5 ((triple5 triple4) -> rule2)) -> rule1))]
("Dave" "is" "big" "-")
triple7
((triple4 triple5 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is nice.
True
3
proof
[(((triple5 triple4) -> rule2))]
("Dave" "is" "nice" "+")
((triple5 triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("Dave" "is" "nice" "-")
((triple5 triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
True
4
proof
[(((((triple5 triple4) -> rule2)) -> rule4))]
("Dave" "is" "cold" "+")
((((triple5 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not cold.
False
4
inv-proof
[(((((triple5 triple4) -> rule2)) -> rule4))]
("Dave" "is" "cold" "-")
((((triple5 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
True
9
proof
[(((triple4 ((triple5 triple4) -> rule2) ((((triple5 triple4) -> rule2)) -> rule4)) -> rule3))]
("Dave" "is" "round" "+")
((triple4 ((triple5 triple4) -> (rule2 % int3)) ((((triple5 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple4 ((triple5 triple4) -> rule2) ((((triple5 triple4) -> rule2)) -> rule4)) -> rule3))]
("Dave" "is" "round" "-")
((triple4 ((triple5 triple4) -> (rule2 % int3)) ((((triple5 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Alan is red.[(triple1)] Dave is big.[(triple7 OR ((triple4 triple5 ((triple5 triple4) -> rule2)) -> rule1))] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple2)] Fred is kind.[(triple8)] @1: Dave is nice.[(((triple5 triple4) -> rule2))] @2: Dave is cold.[(((((triple5 triple4) -> rule2)) -> rule4))] @3: Dave is round.[(((triple4 ((triple5 triple4) -> rule2) ((((triple5 triple4) -> rule2)) -> rule4)) -> rule3))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
((triple4 triple5 ((triple5 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 triple4) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple5 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple4 ((triple5 triple4) -> (rule2 % int3)) ((((triple5 triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Red Alan is what folks call him, because he is quite red.
Young Dave is already big and has rough, red skin from working outdoors; Dave is kind but is feeling blue because of family troubles.
Fred always goes out of his way to show that he is kind to people.
An individual that fits the nice, red, and kind description will fit the description of big, too.
I have found that if someone is kind and red, that they are quite often nice.
Nice people who have red cold skin are round.
Nice people are cold people.