The cow chases the squirrel. The cow is round. The cow visits the squirrel. The rabbit is round. The rabbit sees the cow. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel does not chase the cow. The squirrel chases the rabbit. The squirrel is kind. The squirrel is red. The squirrel sees the cow. The squirrel does not see the rabbit. The squirrel visits the cow. The squirrel visits the rabbit. If someone chases the squirrel and the squirrel is rough then they are nice. Round people are nice. If someone visits the cow and they are nice then they do not chase the squirrel.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone chases the squirrel and the squirrel is rough then they are nice.
((("someone" "chases" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the cow and they are nice then they do not chase the squirrel.
((("someone" "visits" "cow" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "squirrel" "-"))
The squirrel sees the cow.
True
1
proof
[(triple12)]
("squirrel" "sees" "cow" "+")
triple12
The squirrel does not visit the cow.
False
1
inv-proof
[(triple14)]
("squirrel" "visits" "cow" "-")
triple14
The cow is nice.
True
2
proof
[(((triple2) -> rule2))]
("cow" "is" "nice" "+")
((triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("rabbit" "is" "nice" "-")
((triple4) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit does not chase the squirrel.
True
4
proof
[(((triple6 ((triple4) -> rule2)) -> rule3))]
("rabbit" "chases" "squirrel" "-")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit chases the squirrel.
False
4
inv-proof
[(((triple6 ((triple4) -> rule2)) -> rule3))]
("rabbit" "chases" "squirrel" "+")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The cow sees the rabbit.
Unknown
random
[@0: The cow sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "rabbit" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The cow does not see the squirrel.
Unknown
inv-random
[@0: The cow sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "squirrel" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The cow chases the squirrel.[(triple1)] The cow is round.[(triple2)] The cow visits the squirrel.[(triple3)] The rabbit is round.[(triple4)] The rabbit sees the cow.[(triple5)] The rabbit visits the cow.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel chases the rabbit.[(triple9)] The squirrel does not chase the cow.[(triple8)] The squirrel does not see the rabbit.[(triple13)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel sees the cow.[(triple12)] The squirrel visits the cow.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The cow is nice.[(((triple2) -> rule2))] The rabbit is nice.[(((triple4) -> rule2))] @2: The rabbit does not chase the squirrel.[(((triple6 ((triple4) -> rule2)) -> rule3))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple5
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple6
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple7
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple8
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
triple13
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple12
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple14
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple15
The cow is nice.
("cow" "is" "nice" "+")
((triple2) -> (rule2 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple4) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2