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