Big, round Bob is cold and very green. Dave is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Eric who is big in stature is almost always nice even when he is cold. Gary always goes out of his way to show that he is kind to people. People who are nice, round and wearing blue will have red cheeks. A person who is cold with a red nose will be feeling blue. Someone who is not only rough and big but also nice will necessarily be round as well. A nice and cold person can be counted on to be a young person at the same time. A person that is the color red will definitely be round shaped. A nice young person will be rough in texture.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Eric is nice.
True
1
proof
[(triple9)]
("Eric" "is" "nice" "+")
triple9
Eric is not big.
False
1
inv-proof
[(triple11)]
("Eric" "is" "big" "-")
triple11
Dave is young.
True
3
proof
[(((triple6 triple8) -> rule4))]
("Dave" "is" "young" "+")
((triple6 triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
3
inv-proof
[(((triple6 triple8) -> rule4))]
("Dave" "is" "young" "-")
((triple6 triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is rough.
True
5
proof
[(((((triple9 triple10) -> rule4) triple9) -> rule6))]
("Eric" "is" "rough" "+")
((((triple9 triple10) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not rough.
False
5
inv-proof
[(((((triple9 triple10) -> rule4) triple9) -> rule6))]
("Eric" "is" "rough" "-")
((((triple9 triple10) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
True
8
proof
[(((((((triple9 triple10) -> rule4) triple9) -> rule6) triple11 triple9) -> rule3))]
("Eric" "is" "round" "+")
((((((triple9 triple10) -> (rule4 % int3)) triple9) -> (rule6 % int2)) triple11 triple9) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not round.
False
8
inv-proof
[(((((((triple9 triple10) -> rule4) triple9) -> rule6) triple11 triple9) -> rule3))]
("Eric" "is" "round" "-")
((((((triple9 triple10) -> (rule4 % int3)) triple9) -> (rule6 % int2)) triple11 triple9) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "red" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is round.[(triple1)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is nice.[(triple6)] Dave is rough.[(triple5 OR ((((triple6 triple8) -> rule4) triple6) -> rule6))] Eric is big.[(triple11)] Eric is cold.[(triple10)] Eric is nice.[(triple9)] Gary is kind.[(triple12)] @1: Dave is young.[(((triple6 triple8) -> rule4))] Eric is young.[(((triple9 triple10) -> rule4))] @2: Eric is rough.[(((((triple9 triple10) -> rule4) triple9) -> rule6))] @3: Eric is round.[(((((((triple9 triple10) -> rule4) triple9) -> rule6) triple11 triple9) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
((((triple6 triple8) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Dave is young.
("Dave" "is" "young" "+")
((triple6 triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple10) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((((triple9 triple10) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((((triple9 triple10) -> (rule4 % int3)) triple9) -> (rule6 % int2)) triple11 triple9) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Big, round Bob is cold and very green.
Dave is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments.
Eric who is big in stature is almost always nice even when he is cold.
Gary always goes out of his way to show that he is kind to people.
People who are nice, round and wearing blue will have red cheeks.
A person who is cold with a red nose will be feeling blue.
Someone who is not only rough and big but also nice will necessarily be round as well.
A nice and cold person can be counted on to be a young person at the same time.
A person that is the color red will definitely be round shaped.
A nice young person will be rough in texture.