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