Alan is rough, but often feels blue. He is pretty young. Red Eric is what folks call him, because he is quite red. Because Fred is red, green and blue he is nice and kind. Even though he's a big dude, Gary is cold. This person is nice and young, also round, which makes them cold. A big, blue person who is kind is also round. Red people who are also kind often turn out to be cold from standing outdoors too long. Despite being kind cold people with red ears will still be big. If a young person knows he is big and round, then he will be blue. People who are blue and cold are red. A person who is red and green, will also tend to be round shaped and rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Alan is blue.
True
1
proof
[(triple3)]
("Alan" "is" "blue" "+")
triple3
Fred is not kind.
False
1
inv-proof
[(triple7)]
("Fred" "is" "kind" "-")
triple7
Fred is cold.
True
3
proof
[(((triple7 triple5) -> rule3))]
("Fred" "is" "cold" "+")
((triple7 triple5) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple7 triple5) -> rule3))]
("Fred" "is" "cold" "-")
((triple7 triple5) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
True
6
proof
[(((((triple7 triple5) -> rule3) triple5 triple7) -> rule4))]
("Fred" "is" "big" "+")
((((triple7 triple5) -> (rule3 % int2)) triple5 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not big.
False
6
inv-proof
[(((((triple7 triple5) -> rule3) triple5 triple7) -> rule4))]
("Fred" "is" "big" "-")
((((triple7 triple5) -> (rule3 % int2)) triple5 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
True
9
proof
[(((triple9 triple7 ((((triple7 triple5) -> rule3) triple5 triple7) -> rule4)) -> rule2))]
("Fred" "is" "round" "+")
((triple9 triple7 ((((triple7 triple5) -> (rule3 % int3)) triple5 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not round.
False
9
inv-proof
[(((triple9 triple7 ((((triple7 triple5) -> rule3) triple5 triple7) -> rule4)) -> rule2))]
("Fred" "is" "round" "-")
((triple9 triple7 ((((triple7 triple5) -> (rule3 % int3)) triple5 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is rough.
True
12
proof
[(((((triple9 triple7 ((((triple7 triple5) -> rule3) triple5 triple7) -> rule4)) -> rule2) triple8 triple5) -> rule7))]
("Fred" "is" "rough" "+")
((((triple9 triple7 ((((triple7 triple5) -> (rule3 % int4)) triple5 triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple8 triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Fred is not rough.
False
12
inv-proof
[(((((triple9 triple7 ((((triple7 triple5) -> rule3) triple5 triple7) -> rule4)) -> rule2) triple8 triple5) -> rule7))]
("Fred" "is" "rough" "-")
((((triple9 triple7 ((((triple7 triple5) -> (rule3 % int4)) triple5 triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple8 triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Eric is red.[(triple4)] Fred is blue.[(triple9)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Gary is big.[(triple11)] Gary is cold.[(triple10)] @1: Fred is cold.[(((triple7 triple5) -> rule3))] @2: Fred is big.[(((((triple7 triple5) -> rule3) triple5 triple7) -> rule4))] @3: Fred is round.[(((triple9 triple7 ((((triple7 triple5) -> rule3) triple5 triple7) -> rule4)) -> rule2))] @4: Fred is rough.[(((((triple9 triple7 ((((triple7 triple5) -> rule3) triple5 triple7) -> rule4)) -> rule2) triple8 triple5) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
((triple7 triple5) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple7 triple5) -> (rule3 % int2)) triple5 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple9 triple7 ((((triple7 triple5) -> (rule3 % int3)) triple5 triple7) -> (rule4 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
((((triple9 triple7 ((((triple7 triple5) -> (rule3 % int4)) triple5 triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple8 triple5) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Alan is rough, but often feels blue; He is pretty young.
Red Eric is what folks call him, because he is quite red.
Because Fred is red, green and blue he is nice and kind.
Even though he's a big dude, Gary is cold.
This person is nice and young, also round, which makes them cold.
A big, blue person who is kind is also round.
Red people who are also kind often turn out to be cold from standing outdoors too long.
Despite being kind cold people with red ears will still be big.
If a young person knows he is big and round, then he will be blue.
People who are blue and cold are red.
A person who is red and green, will also tend to be round shaped and rough.