In the snow sits Eric, crying from being cold. Fred has green teeth and rough skin. People also notice his blue eyes. It's easy to tell that Gary is young because he is so round. Even though he is kind it makes him green with envy of some people. A big person who is green and cold has red skin. A round person who is cold is big. When you know someone who is young and green you can count on them being nice to everyone. A big and young, round someone looks red. Someone being both nice and kind means that they are a big person. People blue with cold are definitely green and new in these parts. A person who is red and green, will also tend to be round shaped and rough.
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Gary is green.
True
1
proof
[(triple8)]
("Gary" "is" "green" "+")
triple8
Fred is not blue.
False
1
inv-proof
[(triple4)]
("Fred" "is" "blue" "-")
triple4
Gary is nice.
True
3
proof
[(((triple5 triple8) -> rule3))]
("Gary" "is" "nice" "+")
((triple5 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple5 triple8) -> rule3))]
("Gary" "is" "nice" "-")
((triple5 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
True
5
proof
[(((((triple5 triple8) -> rule3) triple7) -> rule5))]
("Gary" "is" "big" "+")
((((triple5 triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not big.
False
5
inv-proof
[(((((triple5 triple8) -> rule3) triple7) -> rule5))]
("Gary" "is" "big" "-")
((((triple5 triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
True
8
proof
[(((((((triple5 triple8) -> rule3) triple7) -> rule5) triple5 triple6) -> rule4))]
("Gary" "is" "red" "+")
((((((triple5 triple8) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple5 triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not red.
False
8
inv-proof
[(((((((triple5 triple8) -> rule3) triple7) -> rule5) triple5 triple6) -> rule4))]
("Gary" "is" "red" "-")
((((((triple5 triple8) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple5 triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
True
11
proof
[(((triple6 triple8 ((((((triple5 triple8) -> rule3) triple7) -> rule5) triple5 triple6) -> rule4)) -> rule7))]
("Gary" "is" "rough" "+")
((triple6 triple8 ((((((triple5 triple8) -> (rule3 % int4)) triple7) -> (rule5 % int3)) triple5 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not rough.
False
11
inv-proof
[(((triple6 triple8 ((((((triple5 triple8) -> rule3) triple7) -> rule5) triple5 triple6) -> rule4)) -> rule7))]
("Gary" "is" "rough" "-")
((triple6 triple8 ((((((triple5 triple8) -> (rule3 % int4)) triple7) -> (rule5 % int3)) triple5 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "green" "+")
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Eric is cold.[(triple1)] Fred is blue.[(triple4)] Fred is green.[(triple3)] Fred is rough.[(triple2)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is round.[(triple6)] Gary is young.[(triple5)] @1: Gary is nice.[(((triple5 triple8) -> rule3))] @2: Gary is big.[(((((triple5 triple8) -> rule3) triple7) -> rule5))] @3: Gary is red.[(((((((triple5 triple8) -> rule3) triple7) -> rule5) triple5 triple6) -> rule4))] @4: Gary is rough.[(((triple6 triple8 ((((((triple5 triple8) -> rule3) triple7) -> rule5) triple5 triple6) -> rule4)) -> rule7))]
Eric is cold.
("Eric" "is" "cold" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
((triple5 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple5 triple8) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple5 triple8) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple5 triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 triple8 ((((((triple5 triple8) -> (rule3 % int4)) triple7) -> (rule5 % int3)) triple5 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
In the snow sits Eric, crying from being cold.
Fred has green teeth and rough skin; People also notice his blue eyes.
It's easy to tell that Gary is young because he is so round; Even though he is kind it makes him green with envy of some people.
A big person who is green and cold has red skin.
A round person who is cold is big.
When you know someone who is young and green you can count on them being nice to everyone.
A big and young, round someone looks red.
Someone being both nice and kind means that they are a big person.
People blue with cold are definitely green and new in these parts.
A person who is red and green, will also tend to be round shaped and rough.