The cat is blue. The cat is green. The cat is kind. The cat is round. The cat is young. The cat likes the dog. The cat needs the dog. The cat sees the dog. The dog is blue. The dog is green. The dog is kind. The dog is round. The dog is young. The dog likes the cat. The dog needs the cat. The dog sees the cat. If someone is green and they like the cat then the cat likes the dog. If someone likes the dog then they are round. If the cat is blue then the cat needs the dog. If the dog needs the cat then the cat needs the dog. If someone is blue then they need the dog. If someone needs the dog then they see the dog.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
If someone is green and they like the cat then the cat likes the dog.
((("someone" "is" "green" "+") ("someone" "likes" "cat" "+")) -> ("cat" "likes" "dog" "+"))
If someone likes the dog then they are round.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "round" "+"))
If the cat is blue then the cat needs the dog.
((("cat" "is" "blue" "+")) -> ("cat" "needs" "dog" "+"))
If the dog needs the cat then the cat needs the dog.
((("dog" "needs" "cat" "+")) -> ("cat" "needs" "dog" "+"))
If someone is blue then they need the dog.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the dog then they see the dog.
((("someone" "needs" "dog" "+")) -> ("someone" "sees" "dog" "+"))
The cat is round.
True
1
proof
[(triple4 OR ((triple6) -> rule2) OR ((((triple10 triple14) -> rule1)) -> rule2))]
("cat" "is" "round" "+")
triple4
((triple6) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((((triple10 triple14) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The dog is not kind.
False
1
inv-proof
[(triple11)]
("dog" "is" "kind" "-")
triple11
The dog needs the dog.
True
2
proof
[(((triple9) -> rule5))]
("dog" "needs" "dog" "+")
((triple9) -> (rule5 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple9) -> rule5))]
("dog" "needs" "dog" "-")
((triple9) -> (rule5 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "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 cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is round.[(triple4 OR ((triple6) -> rule2) OR ((((triple10 triple14) -> rule1)) -> rule2))] The cat is young.[(triple5)] The cat likes the dog.[(triple6 OR ((triple10 triple14) -> rule1))] The cat needs the dog.[(triple7 OR ((triple1) -> rule3) OR ((triple1) -> rule5) OR ((triple15) -> rule4))] The cat sees the dog.[(triple8 OR ((triple7) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule5)) -> rule6) OR ((((triple15) -> rule4)) -> rule6))] The dog is blue.[(triple9)] The dog is green.[(triple10)] The dog is kind.[(triple11)] The dog is round.[(triple12)] The dog is young.[(triple13)] The dog likes the cat.[(triple14)] The dog needs the cat.[(triple15)] The dog sees the cat.[(triple16)] @1: The dog needs the dog.[(((triple9) -> rule5))] @2: The dog sees the dog.[(((((triple9) -> rule5)) -> rule6))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
((triple6) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((((triple10 triple14) -> (rule1 % int2))) -> (rule2 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
int2
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the dog.
("cat" "likes" "dog" "+")
triple6
((triple10 triple14) -> (rule1 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
triple7
((triple1) -> (rule3 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
((triple1) -> (rule5 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
((triple15) -> (rule4 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cat sees the dog.
("cat" "sees" "dog" "+")
triple8
((triple7) -> (rule6 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
((((triple15) -> (rule4 % int2))) -> (rule6 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
triple11
The dog is round.
("dog" "is" "round" "+")
triple12
The dog is young.
("dog" "is" "young" "+")
triple13
The dog likes the cat.
("dog" "likes" "cat" "+")
triple14
The dog needs the cat.
("dog" "needs" "cat" "+")
triple15
The dog sees the cat.
("dog" "sees" "cat" "+")
triple16
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple9) -> (rule5 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple9) -> (rule5 % int2))) -> (rule6 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2