The dog eats the rabbit. The dog eats the tiger. The dog is cold. The dog is nice. The dog is round. The dog sees the tiger. The mouse eats the dog. The mouse is cold. The mouse visits the dog. The mouse visits the rabbit. The rabbit sees the mouse. The rabbit visits the mouse. The tiger eats the mouse. The tiger is nice. The tiger sees the mouse. The tiger visits the rabbit. If someone sees the tiger then they visit the mouse. If the mouse is nice then the mouse is kind. If someone sees the tiger then the tiger is cold. If the mouse visits the tiger and the mouse eats the tiger then the tiger is big. If someone is cold then they see the dog. If the rabbit is nice and the rabbit visits the dog then the dog visits the mouse.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone sees the tiger then they visit the mouse.
((("someone" "sees" "tiger" "+")) -> ("someone" "visits" "mouse" "+"))
If the mouse is nice then the mouse is kind.
((("mouse" "is" "nice" "+")) -> ("mouse" "is" "kind" "+"))
If someone sees the tiger then the tiger is cold.
((("someone" "sees" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If the mouse visits the tiger and the mouse eats the tiger then the tiger is big.
((("mouse" "visits" "tiger" "+") ("mouse" "eats" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If someone is cold then they see the dog.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "dog" "+"))
If the rabbit is nice and the rabbit visits the dog then the dog visits the mouse.
((("rabbit" "is" "nice" "+") ("rabbit" "visits" "dog" "+")) -> ("dog" "visits" "mouse" "+"))
The rabbit visits the mouse.
True
1
proof
[(triple12)]
("rabbit" "visits" "mouse" "+")
triple12
The dog does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("dog" "eats" "rabbit" "-")
triple1
The tiger does not visit the mouse.
Unknown
inv-rconc
[@1: The tiger visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "mouse" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The dog eats the rabbit.[(triple1)] The dog eats the tiger.[(triple2)] The dog is cold.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5)] The dog sees the tiger.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is cold.[(triple8)] The mouse visits the dog.[(triple9)] The mouse visits the rabbit.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is nice.[(triple14)] The tiger sees the mouse.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The dog sees the dog.[(((triple3) -> rule5))] The dog visits the mouse.[(((triple6) -> rule1))] The mouse sees the dog.[(((triple8) -> rule5))] The tiger is cold.[(((triple6) -> rule3))] @2: The tiger sees the dog.[(((((triple6) -> rule3)) -> rule5))]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple6
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple9
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple10
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple11
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple12
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple3) -> (rule5 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
((triple6) -> (rule1 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse sees the dog.
("mouse" "sees" "dog" "+")
((triple8) -> (rule5 % int1))
The mouse sees the dog.
("mouse" "sees" "dog" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple6) -> (rule3 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger sees the dog.
("tiger" "sees" "dog" "+")
((((triple6) -> (rule3 % int2))) -> (rule5 % int1))
The tiger sees the dog.
("tiger" "sees" "dog" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2