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