Most everyone considers Alan a rough fellow, but very kind. He's often categorized as blue, and he's big. In the snow sits Eric, crying from being cold. Red Fred is what folks call him, because he is quite red. Gary ate some rotten meat and now feels green. Cold people who are young and green are actually nice. Blue people who are cold are always round in shape. Rough, round persons are also nice persons. Red haired people who are nice and kind are looked up to because they are always big. A young, green person who is cold is rough around the edges. When you meet kind people they wont have a cold heart.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Alan is kind.
True
1
proof
[(triple2)]
("Alan" "is" "kind" "+")
triple2
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Alan is cold.
True
2
proof
[(((triple2) -> rule6))]
("Alan" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
2
inv-proof
[(((triple2) -> rule6))]
("Alan" "is" "cold" "-")
((triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
True
4
proof
[(((triple3 ((triple2) -> rule6)) -> rule2))]
("Alan" "is" "round" "+")
((triple3 ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not round.
False
4
inv-proof
[(((triple3 ((triple2) -> rule6)) -> rule2))]
("Alan" "is" "round" "-")
((triple3 ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
True
6
proof
[(((triple1 ((triple3 ((triple2) -> rule6)) -> rule2)) -> rule3))]
("Alan" "is" "nice" "+")
((triple1 ((triple3 ((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not nice.
False
6
inv-proof
[(((triple1 ((triple3 ((triple2) -> rule6)) -> rule2)) -> rule3))]
("Alan" "is" "nice" "-")
((triple1 ((triple3 ((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Eric is cold.[(triple5)] Fred is red.[(triple6)] Gary is green.[(triple7)] @1: Alan is cold.[(((triple2) -> rule6))] @2: Alan is round.[(((triple3 ((triple2) -> rule6)) -> rule2))] @3: Alan is nice.[(((triple1 ((triple3 ((triple2) -> rule6)) -> rule2)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple3 ((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 ((triple3 ((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Most everyone considers Alan a rough fellow, but very kind; He's often categorized as blue, and he's big.
In the snow sits Eric, crying from being cold.
Red Fred is what folks call him, because he is quite red.
Gary ate some rotten meat and now feels green.
Cold people who are young and green are actually nice.
Blue people who are cold are always round in shape.
Rough, round persons are also nice persons.
Red haired people who are nice and kind are looked up to because they are always big.
A young, green person who is cold is rough around the edges.
When you meet kind people they wont have a cold heart.