The mouse chases the tiger. The mouse does not eat the tiger. The mouse is big. The mouse is not blue. The mouse is kind. The mouse is red. The mouse is young. The mouse likes the tiger. The tiger chases the mouse. The tiger does not eat the mouse. The tiger is big. The tiger is not blue. The tiger is kind. The tiger is red. The tiger is young. The tiger likes the mouse. If someone is young and blue then they like the mouse. If the mouse eats the tiger and the mouse is kind then the tiger does not chase the mouse.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If someone is young and blue then they like the mouse.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "mouse" "+"))
If the mouse eats the tiger and the mouse is kind then the tiger does not chase the mouse.
((("mouse" "eats" "tiger" "+") ("mouse" "is" "kind" "+")) -> ("tiger" "chases" "mouse" "-"))
The mouse is not blue.
True
1
proof
[(triple4)]
("mouse" "is" "blue" "-")
triple4
The tiger is not big.
False
1
inv-proof
[(triple11)]
("tiger" "is" "big" "-")
triple11
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The mouse chases the tiger.[(triple1)] The mouse does not eat the tiger.[(triple2)] The mouse is big.[(triple3)] The mouse is kind.[(triple5)] The mouse is not blue.[(triple4)] The mouse is red.[(triple6)] The mouse is young.[(triple7)] The mouse likes the tiger.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger does not eat the mouse.[(triple10)] The tiger is big.[(triple11)] The tiger is kind.[(triple13)] The tiger is not blue.[(triple12)] The tiger is red.[(triple14)] The tiger is young.[(triple15)] The tiger likes the mouse.[(triple16)]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
The mouse does not eat the tiger.
("mouse" "eats" "tiger" "-")
triple2
The mouse is big.
("mouse" "is" "big" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
The mouse is not blue.
("mouse" "is" "blue" "-")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple8
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple9
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is not blue.
("tiger" "is" "blue" "-")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple16