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