The cow is blue. The cow is green. The cow is red. The cow is round. The cow needs the rabbit. The cow needs the squirrel. The cow sees the rabbit. The cow sees the squirrel. The cow visits the rabbit. The cow visits the squirrel. The rabbit is nice. The squirrel is red. The squirrel needs the cow. The squirrel needs the rabbit. The squirrel sees the rabbit. The squirrel visits the rabbit. If something needs the cow and it sees the rabbit then it visits the squirrel. If something needs the cow then the cow sees the squirrel. If something sees the squirrel and the squirrel visits the rabbit then it is round. If something needs the cow then the cow sees the squirrel. If something visits the rabbit then the rabbit is green. If something sees the rabbit and it sees the cow then the cow visits the squirrel.
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something needs the cow and it sees the rabbit then it visits the squirrel.
((("something" "needs" "cow" "+") ("something" "sees" "rabbit" "+")) -> ("something" "visits" "squirrel" "+"))
If something needs the cow then the cow sees the squirrel.
((("something" "needs" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If something sees the squirrel and the squirrel visits the rabbit then it is round.
((("something" "sees" "squirrel" "+") ("squirrel" "visits" "rabbit" "+")) -> ("something" "is" "round" "+"))
If something needs the cow then the cow sees the squirrel.
((("something" "needs" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If something visits the rabbit then the rabbit is green.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If something sees the rabbit and it sees the cow then the cow visits the squirrel.
((("something" "sees" "rabbit" "+") ("something" "sees" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
The cow is green.
True
1
proof
[(triple2)]
("cow" "is" "green" "+")
triple2
The cow does not need the rabbit.
False
1
inv-proof
[(triple5)]
("cow" "needs" "rabbit" "-")
triple5
The squirrel visits the squirrel.
True
3
proof
[(((triple13 triple15) -> rule1))]
("squirrel" "visits" "squirrel" "+")
((triple13 triple15) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
3
inv-proof
[(((triple13 triple15) -> rule1))]
("squirrel" "visits" "squirrel" "-")
((triple13 triple15) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "round" "-")
The rabbit visits the squirrel.
Unknown
rconc
[@1: The rabbit visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "squirrel" "+")
The rabbit does not need the cow.
Unknown
inv-random
[@0: The rabbit needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cow" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4 OR ((triple8 triple16) -> rule3) OR ((((triple13) -> rule2) triple16) -> rule3) OR ((((triple13) -> rule4) triple16) -> rule3))] The cow needs the rabbit.[(triple5)] The cow needs the squirrel.[(triple6)] The cow sees the rabbit.[(triple7)] The cow sees the squirrel.[(triple8 OR ((triple13) -> rule2) OR ((triple13) -> rule4))] The cow visits the rabbit.[(triple9)] The cow visits the squirrel.[(triple10)] The rabbit is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel needs the cow.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel sees the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The rabbit is green.[(((triple16) -> rule5) OR ((triple9) -> rule5))] The squirrel visits the squirrel.[(((triple13 triple15) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is green.
("cow" "is" "green" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
((triple8 triple16) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
((((triple13) -> (rule2 % int2)) triple16) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
((((triple13) -> (rule4 % int2)) triple16) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple7
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple8
((triple13) -> (rule2 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
((triple13) -> (rule4 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple9
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple13
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The rabbit is green.
("rabbit" "is" "green" "+")
((triple16) -> (rule5 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((triple9) -> (rule5 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple13 triple15) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1