The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is rough. Green, rough people are blue. Blue, nice people are green. If someone is blue and nice then they are green. All blue people are nice. All green, rough people are nice. If someone is nice then they are rough. If the squirrel is nice then the squirrel is red. If someone is blue and not nice then they are red.
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
Green, rough people are blue.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Blue, nice people are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and nice then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All green, rough people are nice.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If the squirrel is nice then the squirrel is red.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "red" "+"))
If someone is blue and not nice then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "red" "+"))
The squirrel is blue.
True
1
proof
[(triple1 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1))]
("squirrel" "is" "blue" "+")
triple1
((triple2 triple5) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple2 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is not blue.
False
1
inv-proof
[(triple1 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1))]
("squirrel" "is" "blue" "-")
triple1
((triple2 triple5) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple2 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is blue.[(triple1 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1))] The squirrel is green.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple1) -> rule4)) -> rule2) OR ((triple1 ((triple1) -> rule4)) -> rule3))] The squirrel is nice.[(triple3 OR ((triple1) -> rule4) OR ((triple2 triple5) -> rule5) OR ((((triple2 triple5) -> rule1)) -> rule4))] The squirrel is red.[(triple4 OR ((triple3) -> rule7) OR ((((triple1) -> rule4)) -> rule7) OR ((((triple2 triple5) -> rule5)) -> rule7) OR ((((((triple2 triple5) -> rule1)) -> rule4)) -> rule7))] The squirrel is rough.[(triple5 OR ((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6))]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
((triple2 triple5) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple2 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
((triple1 triple3) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple1 triple3) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple1 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((triple1 ((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
((triple1) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((triple2 triple5) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((((triple2 triple5) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
((triple3) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((triple2 triple5) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((((triple2 triple5) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
((triple3) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2