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