The cat chases the dog. The cat chases the mouse. The cat eats the dog. The cat eats the mouse. The dog is cold. The dog is red. The dog likes the mouse. The mouse chases the cat. The mouse chases the dog. The mouse eats the cat. The mouse eats the dog. The mouse is cold. The mouse is red. The mouse is round. The mouse likes the cat. The mouse likes the dog. If someone is nice then they chase the mouse. If someone eats the cat and they chase the cat then they are nice. If someone is cold then they like the mouse.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If someone is nice then they chase the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "mouse" "+"))
If someone eats the cat and they chase the cat then they are nice.
((("someone" "eats" "cat" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they like the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "mouse" "+"))
The cat chases the mouse.
True
1
proof
[(triple2)]
("cat" "chases" "mouse" "+")
triple2
The mouse does not like the dog.
False
1
inv-proof
[(triple16)]
("mouse" "likes" "dog" "-")
triple16
The mouse likes the mouse.
True
2
proof
[(((triple12) -> rule3))]
("mouse" "likes" "mouse" "+")
((triple12) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse is not nice.
False
3
inv-proof
[(((triple10 triple8) -> rule2))]
("mouse" "is" "nice" "-")
((triple10 triple8) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse chases the mouse.
True
4
proof
[(((((triple10 triple8) -> rule2)) -> rule1))]
("mouse" "chases" "mouse" "+")
((((triple10 triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The mouse does not chase the mouse.
False
4
inv-proof
[(((((triple10 triple8) -> rule2)) -> rule1))]
("mouse" "chases" "mouse" "-")
((((triple10 triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The dog does not chase the mouse.
Unknown
inv-rconc
[@2: The dog chases the mouse.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "chases" "mouse" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "nice" "+")
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "nice" "-")
The dog eats the mouse.
Unknown
random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat eats the dog.[(triple3)] The cat eats the mouse.[(triple4)] The dog is cold.[(triple5)] The dog is red.[(triple6)] The dog likes the mouse.[(triple7 OR ((triple5) -> rule3))] The mouse chases the cat.[(triple8)] The mouse chases the dog.[(triple9)] The mouse eats the cat.[(triple10)] The mouse eats the dog.[(triple11)] The mouse is cold.[(triple12)] The mouse is red.[(triple13)] The mouse is round.[(triple14)] The mouse likes the cat.[(triple15)] The mouse likes the dog.[(triple16)] @1: The mouse is nice.[(((triple10 triple8) -> rule2))] The mouse likes the mouse.[(((triple12) -> rule3))] @2: The mouse chases the mouse.[(((((triple10 triple8) -> rule2)) -> rule1))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat eats the dog.
("cat" "eats" "dog" "+")
triple3
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple7
((triple5) -> (rule3 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple9
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple10
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple11
The mouse is cold.
("mouse" "is" "cold" "+")
triple12
The mouse is red.
("mouse" "is" "red" "+")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple15
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple16
The mouse is nice.
("mouse" "is" "nice" "+")
((triple10 triple8) -> (rule2 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple12) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((triple10 triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2