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