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