The cat eats the rabbit. The cat eats the tiger. The cat needs the rabbit. The cat needs the tiger. The dog is young. The rabbit eats the tiger. The rabbit is blue. The tiger needs the cat. The tiger needs the dog. The tiger needs the rabbit. The tiger visits the cat. The tiger visits the rabbit. If something needs the tiger then the tiger eats the dog. If something needs the tiger then the tiger eats the cat. If something is big and it needs the tiger then it is round.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If something needs the tiger then the tiger eats the dog.
((("something" "needs" "tiger" "+")) -> ("tiger" "eats" "dog" "+"))
If something needs the tiger then the tiger eats the cat.
((("something" "needs" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
If something is big and it needs the tiger then it is round.
((("something" "is" "big" "+") ("something" "needs" "tiger" "+")) -> ("something" "is" "round" "+"))
The dog is young.
True
1
proof
[(triple5)]
("dog" "is" "young" "+")
triple5
The cat does not need the tiger.
False
1
inv-proof
[(triple4)]
("cat" "needs" "tiger" "-")
triple4
The tiger eats the cat.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "eats" "cat" "+")
((triple4) -> (rule2 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
The tiger does not eat the dog.
False
2
inv-proof
[(((triple4) -> rule1))]
("tiger" "eats" "dog" "-")
((triple4) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "round" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "round" "+")
The dog does not need the cat.
Unknown
inv-random
[@0: The dog needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cat" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The cat eats the rabbit.[(triple1)] The cat eats the tiger.[(triple2)] The cat needs the rabbit.[(triple3)] The cat needs the tiger.[(triple4)] The dog is young.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is blue.[(triple7)] The tiger needs the cat.[(triple8)] The tiger needs the dog.[(triple9)] The tiger needs the rabbit.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger eats the cat.[(((triple4) -> rule2))] The tiger eats the dog.[(((triple4) -> rule1))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple8
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple9
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple10
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple11
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple12
The tiger eats the cat.
("tiger" "eats" "cat" "+")
((triple4) -> (rule2 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((triple4) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1