The dog chases the lion. The dog eats the lion. The dog is blue. The dog is not red. The dog is not rough. The dog is not round. The dog is young. The dog needs the lion. The lion chases the dog. The lion eats the dog. The lion is not rough. The lion needs the dog. If someone is young then they eat the dog.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog is not rough.
("dog" "is" "rough" "-")
The dog is not round.
("dog" "is" "round" "-")
The dog is young.
("dog" "is" "young" "+")
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 not rough.
("lion" "is" "rough" "-")
The lion needs the dog.
("lion" "needs" "dog" "+")
If someone is young then they eat the dog.
((("someone" "is" "young" "+")) -> ("someone" "eats" "dog" "+"))
The dog eats the lion.
True
1
proof
[(triple2)]
("dog" "eats" "lion" "+")
triple2
The lion is rough.
False
1
inv-proof
[(triple11)]
("lion" "is" "rough" "+")
triple11
The dog eats the dog.
True
2
proof
[(((triple7) -> rule1))]
("dog" "eats" "dog" "+")
((triple7) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "eats" "dog" "-")
((triple7) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
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 is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The dog chases the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog is blue.[(triple3)] The dog is not red.[(triple4)] The dog is not rough.[(triple5)] The dog is not round.[(triple6)] The dog is young.[(triple7)] The dog needs the lion.[(triple8)] The lion chases the dog.[(triple9)] The lion eats the dog.[(triple10)] The lion is not rough.[(triple11)] The lion needs the dog.[(triple12)] @1: The dog eats the dog.[(((triple7) -> rule1))]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is not red.
("dog" "is" "red" "-")
triple4
The dog is not rough.
("dog" "is" "rough" "-")
triple5
The dog is not round.
("dog" "is" "round" "-")
triple6
The dog is young.
("dog" "is" "young" "+")
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
The lion is not rough.
("lion" "is" "rough" "-")
triple11
The lion needs the dog.
("lion" "needs" "dog" "+")
triple12
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple7) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1