The bear chases the cat. The bear chases the rabbit. The bear does not need the rabbit. The bear visits the dog. The cat is nice. The cat is round. The cat is young. The cat visits the bear. The dog is not young. The dog needs the bear. The dog visits the cat. The dog visits the rabbit. The rabbit is not kind. The rabbit is young. The rabbit needs the bear. If something visits the cat and it visits the dog then the dog chases the cat. If something is young then it visits the rabbit. If something is young and it visits the cat then it is nice. If something chases the dog then it needs the cat. If something visits the cat then it chases the dog. If something is kind and not green then it is young. If something visits the cat then it does not visit the dog. If the cat visits the bear then the bear chases the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something visits the cat and it visits the dog then the dog chases the cat.
((("something" "visits" "cat" "+") ("something" "visits" "dog" "+")) -> ("dog" "chases" "cat" "+"))
If something is young then it visits the rabbit.
((("something" "is" "young" "+")) -> ("something" "visits" "rabbit" "+"))
If something is young and it visits the cat then it is nice.
((("something" "is" "young" "+") ("something" "visits" "cat" "+")) -> ("something" "is" "nice" "+"))
If something chases the dog then it needs the cat.
((("something" "chases" "dog" "+")) -> ("something" "needs" "cat" "+"))
If something visits the cat then it chases the dog.
((("something" "visits" "cat" "+")) -> ("something" "chases" "dog" "+"))
If something is kind and not green then it is young.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "young" "+"))
If something visits the cat then it does not visit the dog.
((("something" "visits" "cat" "+")) -> ("something" "visits" "dog" "-"))
If the cat visits the bear then the bear chases the cat.
((("cat" "visits" "bear" "+")) -> ("bear" "chases" "cat" "+"))
The rabbit is young.
True
1
proof
[(triple14)]
("rabbit" "is" "young" "+")
triple14
The bear needs the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "needs" "rabbit" "+")
triple3
The dog does not visit the dog.
True
2
proof
[(((triple11) -> rule7))]
("dog" "visits" "dog" "-")
((triple11) -> (rule7 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple11) -> rule5))]
("dog" "chases" "dog" "-")
((triple11) -> (rule5 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the cat.
True
3
proof
[(((((triple11) -> rule5)) -> rule4))]
("dog" "needs" "cat" "+")
((((triple11) -> (rule5 % int2))) -> (rule4 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog does not need the cat.
False
3
inv-proof
[(((((triple11) -> rule5)) -> rule4))]
("dog" "needs" "cat" "-")
((((triple11) -> (rule5 % int2))) -> (rule4 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "nice" "-")
The cat chases the dog.
Unknown
rconc
[@1: The cat chases the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "chases" "dog" "+")
The dog does not chase the cat.
Unknown
inv-rconc
[@1: The dog chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "cat" "-")
The cat visits the dog.
Unknown
random
[@0: The cat visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "dog" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bear chases the cat.[(triple1 OR ((triple8) -> rule8))] The bear chases the rabbit.[(triple2)] The bear does not need the rabbit.[(triple3)] The bear visits the dog.[(triple4)] The cat is nice.[(triple5)] The cat is round.[(triple6)] The cat is young.[(triple7)] The cat visits the bear.[(triple8)] The dog is not young.[(triple9)] The dog needs the bear.[(triple10)] The dog visits the cat.[(triple11)] The dog visits the rabbit.[(triple12)] The rabbit is not kind.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the bear.[(triple15)] @1: The cat visits the rabbit.[(((triple7) -> rule2))] The dog chases the dog.[(((triple11) -> rule5))] The dog does not visit the dog.[(((triple11) -> rule7))] The rabbit visits the rabbit.[(((triple14) -> rule2))] @2: The dog needs the cat.[(((((triple11) -> rule5)) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
((triple8) -> (rule8 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat visits the bear.
("cat" "visits" "bear" "+")
triple8
The dog is not young.
("dog" "is" "young" "-")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog visits the cat.
("dog" "visits" "cat" "+")
triple11
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple12
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple15
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
((triple7) -> (rule2 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple11) -> (rule5 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not visit the dog.
("dog" "visits" "dog" "-")
((triple11) -> (rule7 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple14) -> (rule2 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
((((triple11) -> (rule5 % int2))) -> (rule4 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2