The mouse chases the rabbit. The mouse chases the tiger. The mouse is cold. The mouse is kind. The mouse is red. The mouse is young. The mouse likes the rabbit. The mouse likes the tiger. The rabbit eats the tiger. The tiger eats the rabbit. The tiger likes the mouse. The tiger likes the rabbit. If someone likes the mouse and they like the rabbit then the mouse chases the tiger. If someone chases the mouse then the mouse is not nice. If someone is cold then they like the tiger. If someone likes the rabbit and they are red then the rabbit likes the tiger. If someone chases the rabbit and the rabbit chases the mouse then they like the mouse. If the tiger eats the rabbit and the tiger is not kind then the tiger does not chase the rabbit. If someone likes the rabbit then the rabbit chases the tiger. If someone is red and not nice then they eat the tiger.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
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 rabbit.
("mouse" "likes" "rabbit" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If someone likes the mouse and they like the rabbit then the mouse chases the tiger.
((("someone" "likes" "mouse" "+") ("someone" "likes" "rabbit" "+")) -> ("mouse" "chases" "tiger" "+"))
If someone chases the mouse then the mouse is not nice.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "nice" "-"))
If someone is cold then they like the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the rabbit and they are red then the rabbit likes the tiger.
((("someone" "likes" "rabbit" "+") ("someone" "is" "red" "+")) -> ("rabbit" "likes" "tiger" "+"))
If someone chases the rabbit and the rabbit chases the mouse then they like the mouse.
((("someone" "chases" "rabbit" "+") ("rabbit" "chases" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
If the tiger eats the rabbit and the tiger is not kind then the tiger does not chase the rabbit.
((("tiger" "eats" "rabbit" "+") ("tiger" "is" "kind" "~")) -> ("tiger" "chases" "rabbit" "-"))
If someone likes the rabbit then the rabbit chases the tiger.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "chases" "tiger" "+"))
If someone is red and not nice then they eat the tiger.
((("someone" "is" "red" "+") ("someone" "is" "nice" "~")) -> ("someone" "eats" "tiger" "+"))
The mouse chases the rabbit.
True
1
proof
[(triple1)]
("mouse" "chases" "rabbit" "+")
triple1
The tiger does not like the rabbit.
False
1
inv-proof
[(triple12)]
("tiger" "likes" "rabbit" "-")
triple12
The rabbit chases the tiger.
True
2
proof
[(((triple12) -> rule7) OR ((triple7) -> rule7))]
("rabbit" "chases" "tiger" "+")
((triple12) -> (rule7 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
((triple7) -> (rule7 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit does not like the tiger.
False
3
inv-proof
[(((triple7 triple5) -> rule4))]
("rabbit" "likes" "tiger" "-")
((triple7 triple5) -> (rule4 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The mouse does not eat the tiger.
Unknown
inv-rconc
[@1: The mouse eats the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "eats" "tiger" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The tiger eats the mouse.
Unknown
random
[@0: The tiger eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "mouse" "+")
@0: The mouse chases the rabbit.[(triple1)] The mouse chases the tiger.[(triple2 OR ((triple11 triple12) -> rule1))] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The mouse likes the rabbit.[(triple7)] The mouse likes the tiger.[(triple8 OR ((triple3) -> rule3))] The rabbit eats the tiger.[(triple9)] The tiger eats the rabbit.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger likes the rabbit.[(triple12)] @1: The rabbit chases the tiger.[(((triple12) -> rule7) OR ((triple7) -> rule7))] The rabbit likes the tiger.[(((triple7 triple5) -> rule4))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple2
((triple11 triple12) -> (rule1 % int1))
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple7
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple8
((triple3) -> (rule3 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple9
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple10
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple11
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple12
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
((triple12) -> (rule7 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
((triple7) -> (rule7 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((triple7 triple5) -> (rule4 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1