The dog chases the lion. The dog is big. The dog is blue. The dog is green. The dog is rough. The lion chases the dog. The lion is big. The lion is blue. The lion is round. The lion visits the dog. If something is green then it visits the dog. If something chases the dog then the dog visits the lion. If the lion visits the dog and the dog visits the lion then the dog needs the lion.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something is green then it visits the dog.
((("something" "is" "green" "+")) -> ("something" "visits" "dog" "+"))
If something chases the dog then the dog visits the lion.
((("something" "chases" "dog" "+")) -> ("dog" "visits" "lion" "+"))
If the lion visits the dog and the dog visits the lion then the dog needs the lion.
((("lion" "visits" "dog" "+") ("dog" "visits" "lion" "+")) -> ("dog" "needs" "lion" "+"))
The lion is big.
True
1
proof
[(triple7)]
("lion" "is" "big" "+")
triple7
The dog is not rough.
False
1
inv-proof
[(triple5)]
("dog" "is" "rough" "-")
triple5
The dog visits the lion.
True
2
proof
[(((triple6) -> rule2))]
("dog" "visits" "lion" "+")
((triple6) -> (rule2 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog does not visit the lion.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "visits" "lion" "-")
((triple6) -> (rule2 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog needs the lion.
True
4
proof
[(((triple10 ((triple6) -> rule2)) -> rule3))]
("dog" "needs" "lion" "+")
((triple10 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The dog needs the lion.
("dog" "needs" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog does not need the lion.
False
4
inv-proof
[(((triple10 ((triple6) -> rule2)) -> rule3))]
("dog" "needs" "lion" "-")
((triple10 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The dog needs the lion.
("dog" "needs" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "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 is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The dog chases the lion.[(triple1)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The lion chases the dog.[(triple6)] The lion is big.[(triple7)] The lion is blue.[(triple8)] The lion is round.[(triple9)] The lion visits the dog.[(triple10)] @1: The dog visits the dog.[(((triple4) -> rule1))] The dog visits the lion.[(((triple6) -> rule2))] @2: The dog needs the lion.[(((triple10 ((triple6) -> rule2)) -> rule3))]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The lion chases the dog.
("lion" "chases" "dog" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion is round.
("lion" "is" "round" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple4) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
((triple6) -> (rule2 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog needs the lion.
("dog" "needs" "lion" "+")
((triple10 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The dog needs the lion.
("dog" "needs" "lion" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2