Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Red Bob is what folks call him, because he is quite red. Eric is rough, but often feels blue. He is pretty young. Fred happens to be nice and green even though he is big and cold. Anyone in the world who is nice, red, and young, is simultaneously rough. Cold, green people have a habit of eating alot and looking quite round. Green people here that are also round and nice are always rough. Kind people who are also rough are young. Whenever somebody can be described as rough, round and cold, they can also be described as young. Red and round people will be cold even in the summer.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Fred is cold.
True
1
proof
[(triple11)]
("Fred" "is" "cold" "+")
triple11
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Fred is round.
True
3
proof
[(((triple11 triple10) -> rule2))]
("Fred" "is" "round" "+")
((triple11 triple10) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple1 triple3) -> rule4))]
("Alan" "is" "young" "-")
((triple1 triple3) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Fred is rough.
True
6
proof
[(((triple9 ((triple11 triple10) -> rule2) triple10) -> rule3))]
("Fred" "is" "rough" "+")
((triple9 ((triple11 triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not rough.
False
6
inv-proof
[(((triple9 ((triple11 triple10) -> rule2) triple10) -> rule3))]
("Fred" "is" "rough" "-")
((triple9 ((triple11 triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
True
11
proof
[(((triple11 ((triple9 ((triple11 triple10) -> rule2) triple10) -> rule3) ((triple11 triple10) -> rule2)) -> rule5))]
("Fred" "is" "young" "+")
((triple11 ((triple9 ((triple11 triple10) -> (rule2 % int3)) triple10) -> (rule3 % int2)) ((triple11 triple10) -> (rule2 % int3))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not young.
False
11
inv-proof
[(((triple11 ((triple9 ((triple11 triple10) -> rule2) triple10) -> rule3) ((triple11 triple10) -> rule2)) -> rule5))]
("Fred" "is" "young" "-")
((triple11 ((triple9 ((triple11 triple10) -> (rule2 % int3)) triple10) -> (rule3 % int2)) ((triple11 triple10) -> (rule2 % int3))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Alan" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Alan" "is" "cold" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is red.[(triple5)] Eric is blue.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Fred is big.[(triple12)] Fred is cold.[(triple11)] Fred is green.[(triple10)] Fred is nice.[(triple9)] @1: Alan is young.[(((triple1 triple3) -> rule4))] Fred is round.[(((triple11 triple10) -> rule2))] @2: Fred is rough.[(((triple9 ((triple11 triple10) -> rule2) triple10) -> rule3))] @3: Fred is young.[(((triple11 ((triple9 ((triple11 triple10) -> rule2) triple10) -> rule3) ((triple11 triple10) -> rule2)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Alan is young.
("Alan" "is" "young" "+")
((triple1 triple3) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple11 triple10) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple9 ((triple11 triple10) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple11 ((triple9 ((triple11 triple10) -> (rule2 % int3)) triple10) -> (rule3 % int2)) ((triple11 triple10) -> (rule2 % int3))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
Red Bob is what folks call him, because he is quite red.
Eric is rough, but often feels blue; He is pretty young.
Fred happens to be nice and green even though he is big and cold.
Anyone in the world who is nice, red, and young, is simultaneously rough.
Cold, green people have a habit of eating alot and looking quite round.
Green people here that are also round and nice are always rough.
Kind people who are also rough are young.
Whenever somebody can be described as rough, round and cold, they can also be described as young.
Red and round people will be cold even in the summer.