In the snow sits Bob, crying from being cold. Eric looks to be red, green, and blue, he is also round and rough. 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. Find someone cold and green. If they are also round, then they are sure to be nice. It seems to be that a person who is green, red, and blue will be very big. A person with nice, blue traits who is young will surely be a round person. A person with a rough quality is also a person with a blue quality. A nice and young aged person will definitely be green in color. A big and round shaped, blue person will be cold for sure.
Bob is cold.
("Bob" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "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 cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Eric is not green.
False
1
inv-proof
[(triple5)]
("Eric" "is" "green" "-")
triple5
Eric is big.
True
4
proof
[(((triple4 triple6 triple5) -> rule2) OR ((triple4 ((triple3) -> rule4) triple5) -> rule2))]
("Eric" "is" "big" "+")
((triple4 triple6 triple5) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
((triple4 ((triple3) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not big.
False
4
inv-proof
[(((triple4 triple6 triple5) -> rule2) OR ((triple4 ((triple3) -> rule4) triple5) -> rule2))]
("Eric" "is" "big" "-")
((triple4 triple6 triple5) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
((triple4 ((triple3) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
True
7
proof
[(((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6))]
("Eric" "is" "cold" "+")
((triple2 triple6 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
((triple2 ((triple3) -> (rule4 % int3)) ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple2 triple6 ((triple4 ((triple3) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple2 ((triple3) -> (rule4 % int3)) ((triple4 ((triple3) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not cold.
False
7
inv-proof
[(((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6))]
("Eric" "is" "cold" "-")
((triple2 triple6 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
((triple2 ((triple3) -> (rule4 % int3)) ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple2 triple6 ((triple4 ((triple3) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple2 ((triple3) -> (rule4 % int3)) ((triple4 ((triple3) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is nice.
True
10
proof
[(((((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1))]
("Eric" "is" "nice" "+")
((((triple2 triple6 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((((triple2 ((triple3) -> (rule4 % int4)) ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple2 triple6 ((triple4 ((triple3) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple2 ((triple3) -> (rule4 % int4)) ((triple4 ((triple3) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not nice.
False
10
inv-proof
[(((((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1))]
("Eric" "is" "nice" "-")
((((triple2 triple6 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((((triple2 ((triple3) -> (rule4 % int4)) ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple2 triple6 ((triple4 ((triple3) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple2 ((triple3) -> (rule4 % int4)) ((triple4 ((triple3) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is cold.[(triple1)] Eric is blue.[(triple6 OR ((triple3) -> rule4))] Eric is green.[(triple5)] Eric is red.[(triple4)] Eric is rough.[(triple3)] Eric is round.[(triple2)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Eric is big.[(((triple4 triple6 triple5) -> rule2) OR ((triple4 ((triple3) -> rule4) triple5) -> rule2))] @2: Eric is cold.[(((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6))] @3: Eric is nice.[(((((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
((triple3) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple6 triple5) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
((triple4 ((triple3) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple2 triple6 ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
((triple2 ((triple3) -> (rule4 % int3)) ((triple4 triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple2 triple6 ((triple4 ((triple3) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((triple2 ((triple3) -> (rule4 % int3)) ((triple4 ((triple3) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((((triple2 triple6 ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((((triple2 ((triple3) -> (rule4 % int4)) ((triple4 triple6 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple2 triple6 ((triple4 ((triple3) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple2 ((triple3) -> (rule4 % int4)) ((triple4 ((triple3) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5 triple2) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
In the snow sits Bob, crying from being cold.
Eric looks to be red, green, and blue, he is also round and rough.
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.
Find someone cold and green; If they are also round, then they are sure to be nice.
It seems to be that a person who is green, red, and blue will be very big.
A person with nice, blue traits who is young will surely be a round person.
A person with a rough quality is also a person with a blue quality.
A nice and young aged person will definitely be green in color.
A big and round shaped, blue person will be cold for sure.