The dog is big. The dog is green. The dog is rough. The dog is round. The dog is young. The dog likes the lion. The dog needs the lion. The dog visits the lion. The lion is green. The lion is rough. The lion is round. The lion is young. The lion likes the dog. The lion needs the dog. The lion visits the dog. If something is rough then it is big. If the dog visits the lion then the dog is young. If the lion likes the dog and the dog is green then the lion is rough.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something is rough then it is big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If the dog visits the lion then the dog is young.
((("dog" "visits" "lion" "+")) -> ("dog" "is" "young" "+"))
If the lion likes the dog and the dog is green then the lion is rough.
((("lion" "likes" "dog" "+") ("dog" "is" "green" "+")) -> ("lion" "is" "rough" "+"))
The dog likes the lion.
True
1
proof
[(triple6)]
("dog" "likes" "lion" "+")
triple6
The dog does not visit the lion.
False
1
inv-proof
[(triple8)]
("dog" "visits" "lion" "-")
triple8
The lion is big.
True
2
proof
[(((triple10) -> rule1) OR ((((triple13 triple2) -> rule3)) -> rule1))]
("lion" "is" "big" "+")
((triple10) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
((((triple13 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is not big.
False
2
inv-proof
[(((triple10) -> rule1) OR ((((triple13 triple2) -> rule3)) -> rule1))]
("lion" "is" "big" "-")
((triple10) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
((((triple13 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is big.[(triple1 OR ((triple3) -> rule1))] The dog is green.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5 OR ((triple8) -> rule2))] The dog likes the lion.[(triple6)] The dog needs the lion.[(triple7)] The dog visits the lion.[(triple8)] The lion is green.[(triple9)] The lion is rough.[(triple10 OR ((triple13 triple2) -> rule3))] The lion is round.[(triple11)] The lion is young.[(triple12)] The lion likes the dog.[(triple13)] The lion needs the dog.[(triple14)] The lion visits the dog.[(triple15)] @1: The lion is big.[(((triple10) -> rule1) OR ((((triple13 triple2) -> rule3)) -> rule1))]
The dog is big.
("dog" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
((triple8) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog likes the lion.
("dog" "likes" "lion" "+")
triple6
The dog needs the lion.
("dog" "needs" "lion" "+")
triple7
The dog visits the lion.
("dog" "visits" "lion" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
((triple13 triple2) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is round.
("lion" "is" "round" "+")
triple11
The lion is young.
("lion" "is" "young" "+")
triple12
The lion likes the dog.
("lion" "likes" "dog" "+")
triple13
The lion needs the dog.
("lion" "needs" "dog" "+")
triple14
The lion visits the dog.
("lion" "visits" "dog" "+")
triple15
The lion is big.
("lion" "is" "big" "+")
((triple10) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
((((triple13 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2