Alan is a round shaped but rough person, and is nice with the color blue. Charlie gets red when he is mad and tends to act very cold. Fred's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Someone who is round in shape and green in color is usually cold. Young round folks who are at least a bit red are actually nice. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. I have noticed that nice people that are green and blue are often round-shaped. Someone who is round like a dumpling and cold like an icicle are very young in age. Someone who is cold and big is also a red person.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and nice and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Charlie is cold.
True
1
proof
[(triple6)]
("Charlie" "is" "cold" "+")
triple6
Fred is not green.
False
1
inv-proof
[(triple8)]
("Fred" "is" "green" "-")
triple8
Fred is round.
True
4
proof
[(((triple7 triple8 triple9) -> rule4))]
("Fred" "is" "round" "+")
((triple7 triple8 triple9) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
4
inv-proof
[(((triple7 triple8 triple9) -> rule4))]
("Fred" "is" "round" "-")
((triple7 triple8 triple9) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
True
6
proof
[(((triple8 ((triple7 triple8 triple9) -> rule4)) -> rule1))]
("Fred" "is" "cold" "+")
((triple8 ((triple7 triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((triple8 ((triple7 triple8 triple9) -> rule4)) -> rule1))]
("Fred" "is" "cold" "-")
((triple8 ((triple7 triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
True
9
proof
[(((((triple8 ((triple7 triple8 triple9) -> rule4)) -> rule1) triple7 triple9) -> rule3))]
("Fred" "is" "red" "+")
((((triple8 ((triple7 triple8 triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple9) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not red.
False
9
inv-proof
[(((((triple8 ((triple7 triple8 triple9) -> rule4)) -> rule1) triple7 triple9) -> rule3))]
("Fred" "is" "red" "-")
((((triple8 ((triple7 triple8 triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple9) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is blue.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is cold.[(triple6)] Charlie is red.[(triple5)] Fred is blue.[(triple9)] Fred is green.[(triple8)] Fred is nice.[(triple7)] @1: Fred is round.[(((triple7 triple8 triple9) -> rule4))] @2: Fred is cold.[(((triple8 ((triple7 triple8 triple9) -> rule4)) -> rule1))] @3: Fred is red.[(((((triple8 ((triple7 triple8 triple9) -> rule4)) -> rule1) triple7 triple9) -> rule3))] Fred is young.[(((((triple7 triple8 triple9) -> rule4) ((triple8 ((triple7 triple8 triple9) -> rule4)) -> rule1)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple8 triple9) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple8 ((triple7 triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple8 ((triple7 triple8 triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple9) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((((triple7 triple8 triple9) -> (rule4 % int3)) ((triple8 ((triple7 triple8 triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Alan is a round shaped but rough person, and is nice with the color blue.
Charlie gets red when he is mad and tends to act very cold.
Fred's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Someone who is round in shape and green in color is usually cold.
Young round folks who are at least a bit red are actually nice.
Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.
I have noticed that nice people that are green and blue are often round-shaped.
Someone who is round like a dumpling and cold like an icicle are very young in age.
Someone who is cold and big is also a red person.