Bob was looking rather round and feeling rather cold, but people thought he is kind. People think that Eric is round. This might be because he is young and blue. Gary always goes out of his way to show that he is kind to people. Blue Christmas ornaments are also red. People who are nice and big and red are green. It is true that kind people who have become cold and blue and survived are necessarily big. Young people that are cold and round are necessarily big. A round shaped and red person is definitely nice. Red and round people will be cold even in the summer.
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big and red then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Eric is blue.
True
1
proof
[(triple6)]
("Eric" "is" "blue" "+")
triple6
Gary is not kind.
False
1
inv-proof
[(triple7)]
("Gary" "is" "kind" "-")
triple7
Eric is red.
True
2
proof
[(((triple6) -> rule1))]
("Eric" "is" "red" "+")
((triple6) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple6) -> rule1))]
("Eric" "is" "red" "-")
((triple6) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
True
4
proof
[(((((triple6) -> rule1) triple5) -> rule6))]
("Eric" "is" "cold" "+")
((((triple6) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not nice.
False
4
inv-proof
[(((triple5 ((triple6) -> rule1)) -> rule5))]
("Eric" "is" "nice" "-")
((triple5 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
True
7
proof
[(((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4))]
("Eric" "is" "big" "+")
((((((triple6) -> (rule1 % int3)) triple5) -> (rule6 % int2)) triple5 triple4) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not big.
False
7
inv-proof
[(((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4))]
("Eric" "is" "big" "-")
((((((triple6) -> (rule1 % int3)) triple5) -> (rule6 % int2)) triple5 triple4) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
True
14
proof
[(((((triple5 ((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4) ((triple6) -> rule1)) -> rule2))]
("Eric" "is" "green" "+")
((((triple5 ((triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule1 % int5)) triple5) -> (rule6 % int3)) triple5 triple4) -> (rule4 % int2)) ((triple6) -> (rule1 % int5))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Eric is not green.
False
14
inv-proof
[(((((triple5 ((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4) ((triple6) -> rule1)) -> rule2))]
("Eric" "is" "green" "-")
((((triple5 ((triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule1 % int5)) triple5) -> (rule6 % int3)) triple5 triple4) -> (rule4 % int2)) ((triple6) -> (rule1 % int5))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Alan" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is kind.[(triple7)] @1: Eric is red.[(((triple6) -> rule1))] @2: Eric is cold.[(((((triple6) -> rule1) triple5) -> rule6))] Eric is nice.[(((triple5 ((triple6) -> rule1)) -> rule5))] @3: Eric is big.[(((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4))] @4: Eric is green.[(((((triple5 ((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4) ((triple6) -> rule1)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
((triple6) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((((triple6) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple5 ((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((((triple6) -> (rule1 % int3)) triple5) -> (rule6 % int2)) triple5 triple4) -> (rule4 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((triple5 ((triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule1 % int5)) triple5) -> (rule6 % int3)) triple5 triple4) -> (rule4 % int2)) ((triple6) -> (rule1 % int5))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Bob was looking rather round and feeling rather cold, but people thought he is kind.
People think that Eric is round; This might be because he is young and blue.
Gary always goes out of his way to show that he is kind to people.
Blue Christmas ornaments are also red.
People who are nice and big and red are green.
It is true that kind people who have become cold and blue and survived are necessarily big.
Young people that are cold and round are necessarily big.
A round shaped and red person is definitely nice.
Red and round people will be cold even in the summer.