The dog eats the lion. The dog is nice. The dog is rough. The dog needs the lion. The dog visits the lion. The lion eats the dog. The lion is nice. The lion is young. The lion needs the dog. The lion visits the dog. If something is nice and rough then it needs the dog. If something is young then it visits the dog.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something is nice and rough then it needs the dog.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "needs" "dog" "+"))
If something is young then it visits the dog.
((("something" "is" "young" "+")) -> ("something" "visits" "dog" "+"))
The dog eats the lion.
True
1
proof
[(triple1)]
("dog" "eats" "lion" "+")
triple1
The dog does not need the lion.
False
1
inv-proof
[(triple4)]
("dog" "needs" "lion" "-")
triple4
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "dog" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The dog eats the lion.[(triple1)] The dog is nice.[(triple2)] The dog is rough.[(triple3)] The dog needs the lion.[(triple4)] The dog visits the lion.[(triple5)] The lion eats the dog.[(triple6)] The lion is nice.[(triple7)] The lion is young.[(triple8)] The lion needs the dog.[(triple9)] The lion visits the dog.[(triple10 OR ((triple8) -> rule2))] @1: The dog needs the dog.[(((triple2 triple3) -> rule1))]
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog needs the lion.
("dog" "needs" "lion" "+")
triple4
The dog visits the lion.
("dog" "visits" "lion" "+")
triple5
The lion eats the dog.
("lion" "eats" "dog" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion needs the dog.
("lion" "needs" "dog" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
((triple8) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple2 triple3) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1