Bob is a young, cold guy, but he's also a nice and kind guy who can be rough. Eric looks red to most people, with blue features. Gary is red from working out in the sun all day. he is green with envy that others get to work inside all day and this makes him feel blue. But Gary is big and young so he can handle it. Being round and nice automatically means a person is kind. Blue and red people are often rough. If someone is colored red but is cold, they tend to show a lot of green. It is true that anyone who is cold while being young and nice is secretly a kind person. People who are round and young are also quite nice. A blue and red colored person that is young is also very cold. Unfortunately, all the young people who are considered green are all round.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Gary is big.
True
1
proof
[(triple12)]
("Gary" "is" "big" "+")
triple12
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Eric is rough.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Eric" "is" "rough" "+")
((triple7 triple6) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple11 triple9) -> rule2))]
("Gary" "is" "rough" "-")
((triple11 triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
True
5
proof
[(((triple8 ((triple10 triple8) -> rule7)) -> rule5) OR ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5))]
("Gary" "is" "nice" "+")
((triple8 ((triple10 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not nice.
False
5
inv-proof
[(((triple8 ((triple10 triple8) -> rule7)) -> rule5) OR ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5))]
("Gary" "is" "nice" "-")
((triple8 ((triple10 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
True
9
proof
[(((((triple10 triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((triple10 triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple10 triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1))]
("Gary" "is" "kind" "+")
((((triple10 triple8) -> (rule7 % int3)) ((triple8 ((triple10 triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple10 triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple11 triple8 triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple8 ((triple10 triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple10 triple8) -> (rule7 % int5)) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3))) -> (rule5 % int2)) ((triple11 triple8 triple9) -> (rule6 % int5)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is not kind.
False
9
inv-proof
[(((((triple10 triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((triple10 triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple10 triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1))]
("Gary" "is" "kind" "-")
((((triple10 triple8) -> (rule7 % int3)) ((triple8 ((triple10 triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple10 triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple11 triple8 triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple8 ((triple10 triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple10 triple8) -> (rule7 % int5)) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3))) -> (rule5 % int2)) ((triple11 triple8 triple9) -> (rule6 % int5)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "round" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple5)] Bob is kind.[(triple4 OR ((triple3 triple5 triple1) -> rule4))] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple7)] Eric is red.[(triple6)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is green.[(triple10 OR ((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3))] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Eric is rough.[(((triple7 triple6) -> rule2))] Gary is cold.[(((triple11 triple8 triple9) -> rule6))] Gary is rough.[(((triple11 triple9) -> rule2))] Gary is round.[(((triple10 triple8) -> rule7) OR ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7))] @2: Gary is nice.[(((triple8 ((triple10 triple8) -> rule7)) -> rule5) OR ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5))] @3: Gary is kind.[(((((triple10 triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((triple10 triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((triple10 triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple10 triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1) OR ((((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5) ((triple11 triple8 triple9) -> rule6) triple8) -> rule4) OR ((((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> rule6)) -> rule3) triple8) -> rule7)) -> rule5)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple3 triple5 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple9 ((triple11 triple8 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple6) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 triple8 triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11 triple9) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple10 triple8) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple9 ((triple11 triple8 triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 ((triple10 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10 triple8) -> (rule7 % int3)) ((triple8 ((triple10 triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple8 ((triple10 triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple11 triple8 triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple8 ((triple10 triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple10 triple8) -> (rule7 % int5)) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int4))) -> (rule3 % int3)) triple8) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3))) -> (rule5 % int2)) ((triple11 triple8 triple9) -> (rule6 % int5)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple8 ((((triple9 ((triple11 triple8 triple9) -> (rule6 % int5))) -> (rule3 % int4)) triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Bob is a young, cold guy, but he's also a nice and kind guy who can be rough.
Eric looks red to most people, with blue features.
Gary is red from working out in the sun all day; he is green with envy that others get to work inside all day and this makes him feel blue; But Gary is big and young so he can handle it.
Being round and nice automatically means a person is kind.
Blue and red people are often rough.
If someone is colored red but is cold, they tend to show a lot of green.
It is true that anyone who is cold while being young and nice is secretly a kind person.
People who are round and young are also quite nice.
A blue and red colored person that is young is also very cold.
Unfortunately, all the young people who are considered green are all round.