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