The dog chases the rabbit. The dog chases the tiger. The dog is cold. The dog visits the rabbit. The mouse chases the rabbit. The mouse chases the tiger. The mouse is green. The mouse is kind. The mouse does not need the dog. The mouse needs the rabbit. The mouse visits the dog. The rabbit visits the dog. The tiger chases the mouse. The tiger is green. The tiger is round. If the dog is kind and the dog visits the tiger then the tiger is cold. If something visits the dog then it chases the mouse. If the rabbit does not chase the mouse then the mouse is blue.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse does not need the dog.
("mouse" "needs" "dog" "-")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
If the dog is kind and the dog visits the tiger then the tiger is cold.
((("dog" "is" "kind" "+") ("dog" "visits" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If something visits the dog then it chases the mouse.
((("something" "visits" "dog" "+")) -> ("something" "chases" "mouse" "+"))
If the rabbit does not chase the mouse then the mouse is blue.
((("rabbit" "chases" "mouse" "~")) -> ("mouse" "is" "blue" "+"))
The mouse is green.
True
1
proof
[(triple7)]
("mouse" "is" "green" "+")
triple7
The mouse does not chase the tiger.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "tiger" "-")
triple6
The mouse chases the mouse.
True
2
proof
[(((triple11) -> rule2))]
("mouse" "chases" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The rabbit does not chase the mouse.
False
2
inv-proof
[(((triple12) -> rule2))]
("rabbit" "chases" "mouse" "-")
((triple12) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "cold" "-")
The mouse is blue.
Unknown
rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "blue" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The rabbit needs the tiger.
Unknown
random
[@0: The rabbit needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "tiger" "+")
@0: The dog chases the rabbit.[(triple1)] The dog chases the tiger.[(triple2)] The dog is cold.[(triple3)] The dog visits the rabbit.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse does not need the dog.[(triple9)] The mouse is green.[(triple7)] The mouse is kind.[(triple8)] The mouse needs the rabbit.[(triple10)] The mouse visits the dog.[(triple11)] The rabbit visits the dog.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger is green.[(triple14)] The tiger is round.[(triple15)] @1: The mouse chases the mouse.[(((triple11) -> rule2))] The rabbit chases the mouse.[(((triple12) -> rule2))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple5
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The mouse does not need the dog.
("mouse" "needs" "dog" "-")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
triple8
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple10
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple12) -> (rule2 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1