In the snow sits Alan, crying from being cold. Bob is young and big in stature.  He is cold but nice. Eric is a nice person, but he is both blue and red. Gary is a red person who is round and also feels blue. Someone who is round in shape and green in color is usually cold. People who are green and blue tend to be round in shape. It's said that any person with blue skin, round bones, and big feet is kind. Julie is really nice to gardeners since she has a green thumb. A person that is both nice and young will also be cold.
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Eric is not red.
False
1
inv-proof
[(triple6)]
("Eric" "is" "red" "-")
triple6
Eric is green.
True
2
proof
[(((triple7) -> rule4))]
("Eric" "is" "green" "+")
((triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple3) -> rule4))]
("Bob" "is" "green" "-")
((triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Eric is round.
True
4
proof
[(((((triple7) -> rule4) triple8) -> rule2))]
("Eric" "is" "round" "+")
((((triple7) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not round.
False
4
inv-proof
[(((((triple7) -> rule4) triple8) -> rule2))]
("Eric" "is" "round" "-")
((((triple7) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
True
7
proof
[(((((triple7) -> rule4) ((((triple7) -> rule4) triple8) -> rule2)) -> rule1))]
("Eric" "is" "cold" "+")
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not cold.
False
7
inv-proof
[(((((triple7) -> rule4) ((((triple7) -> rule4) triple8) -> rule2)) -> rule1))]
("Eric" "is" "cold" "-")
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is cold.[(triple1)] Bob is big.[(triple5)] Bob is cold.[(triple4 OR ((triple3 triple2) -> rule5))] Bob is nice.[(triple3)] Bob is young.[(triple2)] Eric is blue.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] Gary is blue.[(triple11)] Gary is red.[(triple10)] Gary is round.[(triple9)] @1: Bob is green.[(((triple3) -> rule4))] Eric is green.[(((triple7) -> rule4))] @2: Eric is round.[(((((triple7) -> rule4) triple8) -> rule2))] @3: Eric is cold.[(((((triple7) -> rule4) ((((triple7) -> rule4) triple8) -> rule2)) -> rule1))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
((triple3 triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
((triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((((triple7) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
In the snow sits Alan, crying from being cold.
Bob is young and big in stature; He is cold but nice.
Eric is a nice person, but he is both blue and red.
Gary is a red person who is round and also feels blue.
Someone who is round in shape and green in color is usually cold.
People who are green and blue tend to be round in shape.
It's said that any person with blue skin, round bones, and big feet is kind.
Julie is really nice to gardeners since she has a green thumb.
A person that is both nice and young will also be cold.