Alan is big and round. His cheeks are rosy red and he is kind even though he is blue. Red Bob is what folks call him, because he is quite red. Red Fred is what folks call him, because he is quite red. Gary happens to be nice and green even though he is big and cold. Cold people,though green and red,tend to be rough. If the person is big and cold then as a rule they must be green. Any big, kind person that turns red is cold to the touch. A big kind person that is red is almost always nice. A person with the qualities of being cold and being red will also be a person that is green. Nobody who is round and rough and big can keep themselves from being nice. People who are nice, big, and also rough, are considered red.
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Gary is not nice.
False
1
inv-proof
[(triple8)]
("Gary" "is" "nice" "-")
triple8
Alan is nice.
True
4
proof
[(((triple3 triple2 triple5) -> rule4) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) triple5) -> rule6) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1) triple5) -> rule6))]
("Alan" "is" "nice" "+")
((triple3 triple2 triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
((triple1 ((((triple2 triple5 triple3) -> (rule3 % int4)) ((triple5 ((triple2 triple5 triple3) -> (rule3 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((triple1 ((((triple2 triple5 triple3) -> (rule3 % int4)) ((((triple2 triple5 triple3) -> (rule3 % int4)) triple2) -> (rule5 % int3)) triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is not nice.
False
4
inv-proof
[(((triple3 triple2 triple5) -> rule4) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) triple5) -> rule6) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1) triple5) -> rule6))]
("Alan" "is" "nice" "-")
((triple3 triple2 triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
((triple1 ((((triple2 triple5 triple3) -> (rule3 % int4)) ((triple5 ((triple2 triple5 triple3) -> (rule3 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((triple1 ((((triple2 triple5 triple3) -> (rule3 % int4)) ((((triple2 triple5 triple3) -> (rule3 % int4)) triple2) -> (rule5 % int3)) triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is green.
True
6
proof
[(((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) OR ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5))]
("Alan" "is" "green" "+")
((triple5 ((triple2 triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((((triple2 triple5 triple3) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not green.
False
6
inv-proof
[(((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) OR ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5))]
("Alan" "is" "green" "-")
((triple5 ((triple2 triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((((triple2 triple5 triple3) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
True
12
proof
[(((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) OR ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1))]
("Alan" "is" "rough" "+")
((((triple2 triple5 triple3) -> (rule3 % int3)) ((triple5 ((triple2 triple5 triple3) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple2 triple5 triple3) -> (rule3 % int3)) ((((triple2 triple5 triple3) -> (rule3 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not rough.
False
12
inv-proof
[(((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) OR ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1))]
("Alan" "is" "rough" "-")
((((triple2 triple5 triple3) -> (rule3 % int3)) ((triple5 ((triple2 triple5 triple3) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple2 triple5 triple3) -> (rule3 % int3)) ((((triple2 triple5 triple3) -> (rule3 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple6)] Fred is red.[(triple7)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is green.[(triple9 OR ((triple11 triple10) -> rule2))] Gary is nice.[(triple8)] @1: Alan is cold.[(((triple2 triple5 triple3) -> rule3))] Alan is nice.[(((triple3 triple2 triple5) -> rule4) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) triple5) -> rule6) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1) triple5) -> rule6))] @2: Alan is green.[(((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) OR ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5))] @3: Alan is rough.[(((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) OR ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
((triple11 triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 triple5 triple3) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple2 triple5) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
((triple1 ((((triple2 triple5 triple3) -> (rule3 % int4)) ((triple5 ((triple2 triple5 triple3) -> (rule3 % int4))) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((triple1 ((((triple2 triple5 triple3) -> (rule3 % int4)) ((((triple2 triple5 triple3) -> (rule3 % int4)) triple2) -> (rule5 % int3)) triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
((triple5 ((triple2 triple5 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((((triple2 triple5 triple3) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2 triple5 triple3) -> (rule3 % int3)) ((triple5 ((triple2 triple5 triple3) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple2 triple5 triple3) -> (rule3 % int3)) ((((triple2 triple5 triple3) -> (rule3 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is big and round; His cheeks are rosy red and he is kind even though he is blue.
Red Bob is what folks call him, because he is quite red.
Red Fred is what folks call him, because he is quite red.
Gary happens to be nice and green even though he is big and cold.
Cold people,though green and red,tend to be rough.
If the person is big and cold then as a rule they must be green.
Any big, kind person that turns red is cold to the touch.
A big kind person that is red is almost always nice.
A person with the qualities of being cold and being red will also be a person that is green.
Nobody who is round and rough and big can keep themselves from being nice.
People who are nice, big, and also rough, are considered red.