The cat chases the mouse. The cat chases the squirrel. The cat eats the squirrel. The cat is green. The cat visits the mouse. The mouse chases the cat. The mouse is big. The mouse is round. The mouse visits the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is big. The squirrel is green. The squirrel visits the cat. The squirrel visits the mouse. If someone is kind and nice then they visit the cat. If someone chases the mouse then they visit the mouse.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone is kind and nice then they visit the cat.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "visits" "cat" "+"))
If someone chases the mouse then they visit the mouse.
((("someone" "chases" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
The mouse is big.
True
1
proof
[(triple7)]
("mouse" "is" "big" "+")
triple7
The cat does not eat the squirrel.
False
1
inv-proof
[(triple3)]
("cat" "eats" "squirrel" "-")
triple3
The mouse does not visit the cat.
Unknown
inv-rconc
[@1: The mouse visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "cat" "-")
The mouse eats the squirrel.
Unknown
random
[@0: The mouse eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "squirrel" "+")
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is green.[(triple4)] The cat visits the mouse.[(triple5 OR ((triple1) -> rule2))] The mouse chases the cat.[(triple6)] The mouse is big.[(triple7)] The mouse is round.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel is big.[(triple12)] The squirrel is green.[(triple13)] The squirrel visits the cat.[(triple14)] The squirrel visits the mouse.[(triple15)]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple5
((triple1) -> (rule2 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15