The cat is big. The cat is kind. The cat is red. The cat likes the dog. The cat sees the dog. The cat visits the dog. The dog is red. The dog likes the mouse. The dog sees the cat. The dog visits the cat. The mouse is big. The mouse is blue. The mouse is red. The mouse likes the dog. The mouse sees the cat. The mouse sees the dog. If something visits the dog and it is round then the dog is blue. If something likes the dog then it is round.
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If something visits the dog and it is round then the dog is blue.
((("something" "visits" "dog" "+") ("something" "is" "round" "+")) -> ("dog" "is" "blue" "+"))
If something likes the dog then it is round.
((("something" "likes" "dog" "+")) -> ("something" "is" "round" "+"))
The dog likes the mouse.
True
1
proof
[(triple8)]
("dog" "likes" "mouse" "+")
triple8
The mouse is not red.
False
1
inv-proof
[(triple13)]
("mouse" "is" "red" "-")
triple13
The mouse is round.
True
2
proof
[(((triple14) -> rule2))]
("mouse" "is" "round" "+")
((triple14) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The cat is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("cat" "is" "round" "-")
((triple4) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The dog is blue.
True
4
proof
[(((triple6 ((triple4) -> rule2)) -> rule1))]
("dog" "is" "blue" "+")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The dog is not blue.
False
4
inv-proof
[(((triple6 ((triple4) -> rule2)) -> rule1))]
("dog" "is" "blue" "-")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "round" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The mouse visits the dog.
Unknown
random
[@0: The mouse visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "dog" "+")
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3)] The cat likes the dog.[(triple4)] The cat sees the dog.[(triple5)] The cat visits the dog.[(triple6)] The dog is red.[(triple7)] The dog likes the mouse.[(triple8)] The dog sees the cat.[(triple9)] The dog visits the cat.[(triple10)] The mouse is big.[(triple11)] The mouse is blue.[(triple12)] The mouse is red.[(triple13)] The mouse likes the dog.[(triple14)] The mouse sees the cat.[(triple15)] The mouse sees the dog.[(triple16)] @1: The cat is round.[(((triple4) -> rule2))] The mouse is round.[(((triple14) -> rule2))] @2: The dog is blue.[(((triple6 ((triple4) -> rule2)) -> rule1))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat likes the dog.
("cat" "likes" "dog" "+")
triple4
The cat sees the dog.
("cat" "sees" "dog" "+")
triple5
The cat visits the dog.
("cat" "visits" "dog" "+")
triple6
The dog is red.
("dog" "is" "red" "+")
triple7
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple8
The dog sees the cat.
("dog" "sees" "cat" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The mouse is red.
("mouse" "is" "red" "+")
triple13
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple14
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple15
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple16
The cat is round.
("cat" "is" "round" "+")
((triple4) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple14) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((triple6 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2