Alan wears all blue. In the snow sits Eric, crying from being cold. Even though Fred is big and round, he is cold much of the time. Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer. A kind, round person will surely be red as well. Cold people,though green and red,tend to be rough. A big and rough person can be misleading because they are cold and blue as well. People that are red and blue and green at the same time have a reason to be cold. A person who is kind but also rough and is also colored blue, will be shaped round. Nice people who are looking green and seeing red usually feel rather rough. It's true that green and blue people are also red people.
Alan is blue.
("Alan" "is" "blue" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "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 cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Fred is not round.
False
1
inv-proof
[(triple3)]
("Fred" "is" "round" "-")
triple3
Gary is red.
True
3
proof
[(((triple7 triple8) -> rule7))]
("Gary" "is" "red" "+")
((triple7 triple8) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple7 triple8) -> rule7))]
("Gary" "is" "red" "-")
((triple7 triple8) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
True
6
proof
[(((((triple7 triple8) -> rule7) triple8 triple7) -> rule4))]
("Gary" "is" "cold" "+")
((((triple7 triple8) -> (rule7 % int2)) triple8 triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not cold.
False
6
inv-proof
[(((((triple7 triple8) -> rule7) triple8 triple7) -> rule4))]
("Gary" "is" "cold" "-")
((((triple7 triple8) -> (rule7 % int2)) triple8 triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
True
11
proof
[(((((((triple7 triple8) -> rule7) triple8 triple7) -> rule4) triple7 ((triple7 triple8) -> rule7)) -> rule2))]
("Gary" "is" "rough" "+")
((((((triple7 triple8) -> (rule7 % int3)) triple8 triple7) -> (rule4 % int2)) triple7 ((triple7 triple8) -> (rule7 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not rough.
False
11
inv-proof
[(((((((triple7 triple8) -> rule7) triple8 triple7) -> rule4) triple7 ((triple7 triple8) -> rule7)) -> rule2))]
("Gary" "is" "rough" "-")
((((((triple7 triple8) -> (rule7 % int3)) triple8 triple7) -> (rule4 % int2)) triple7 ((triple7 triple8) -> (rule7 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
True
14
proof
[(((triple6 ((((((triple7 triple8) -> rule7) triple8 triple7) -> rule4) triple7 ((triple7 triple8) -> rule7)) -> rule2) triple8) -> rule5))]
("Gary" "is" "round" "+")
((triple6 ((((((triple7 triple8) -> (rule7 % int4)) triple8 triple7) -> (rule4 % int3)) triple7 ((triple7 triple8) -> (rule7 % int4))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not round.
False
14
inv-proof
[(((triple6 ((((((triple7 triple8) -> rule7) triple8 triple7) -> rule4) triple7 ((triple7 triple8) -> rule7)) -> rule2) triple8) -> rule5))]
("Gary" "is" "round" "-")
((triple6 ((((((triple7 triple8) -> (rule7 % int4)) triple8 triple7) -> (rule4 % int3)) triple7 ((triple7 triple8) -> (rule7 % int4))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "rough" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Alan is blue.[(triple1)] Eric is cold.[(triple2)] Fred is big.[(triple5)] Fred is cold.[(triple4)] Fred is round.[(triple3)] Gary is blue.[(triple8)] Gary is green.[(triple7)] Gary is kind.[(triple6)] @1: Gary is red.[(((triple7 triple8) -> rule7))] @2: Gary is cold.[(((((triple7 triple8) -> rule7) triple8 triple7) -> rule4))] @3: Gary is rough.[(((((((triple7 triple8) -> rule7) triple8 triple7) -> rule4) triple7 ((triple7 triple8) -> rule7)) -> rule2))] @4: Gary is round.[(((triple6 ((((((triple7 triple8) -> rule7) triple8 triple7) -> rule4) triple7 ((triple7 triple8) -> rule7)) -> rule2) triple8) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
((triple7 triple8) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple7 triple8) -> (rule7 % int2)) triple8 triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple7 triple8) -> (rule7 % int3)) triple8 triple7) -> (rule4 % int2)) triple7 ((triple7 triple8) -> (rule7 % int3))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple6 ((((((triple7 triple8) -> (rule7 % int4)) triple8 triple7) -> (rule4 % int3)) triple7 ((triple7 triple8) -> (rule7 % int4))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Alan wears all blue.
In the snow sits Eric, crying from being cold.
Even though Fred is big and round, he is cold much of the time.
Blue and green Gary is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
A kind, round person will surely be red as well.
Cold people,though green and red,tend to be rough.
A big and rough person can be misleading because they are cold and blue as well.
People that are red and blue and green at the same time have a reason to be cold.
A person who is kind but also rough and is also colored blue, will be shaped round.
Nice people who are looking green and seeing red usually feel rather rough.
It's true that green and blue people are also red people.