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