The dog is round. The lion eats the dog. The lion is big. The lion is kind. The lion is young. The lion does not need the dog. The lion visits the dog. If the lion visits the dog then the dog is green.
The dog is round.
("dog" "is" "round" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not need the dog.
("lion" "needs" "dog" "-")
The lion visits the dog.
("lion" "visits" "dog" "+")
If the lion visits the dog then the dog is green.
((("lion" "visits" "dog" "+")) -> ("dog" "is" "green" "+"))
The lion is big.
True
1
proof
[(triple3)]
("lion" "is" "big" "+")
triple3
The lion needs the dog.
False
1
inv-proof
[(triple6)]
("lion" "needs" "dog" "+")
triple6
The dog is green.
True
2
proof
[(((triple7) -> rule1))]
("dog" "is" "green" "+")
((triple7) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "is" "green" "-")
((triple7) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The dog eats the lion.
Unknown
random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "+")
@0: The dog is round.[(triple1)] The lion does not need the dog.[(triple6)] The lion eats the dog.[(triple2)] The lion is big.[(triple3)] The lion is kind.[(triple4)] The lion is young.[(triple5)] The lion visits the dog.[(triple7)] @1: The dog is green.[(((triple7) -> rule1))]
The dog is round.
("dog" "is" "round" "+")
triple1
The lion does not need the dog.
("lion" "needs" "dog" "-")
triple6
The lion eats the dog.
("lion" "eats" "dog" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion visits the dog.
("lion" "visits" "dog" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
((triple7) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1