The dog chases the rabbit. The dog chases the tiger. The dog eats the rabbit. The dog eats the tiger. The dog is kind. The rabbit chases the tiger. The rabbit eats the dog. The rabbit is cold. The rabbit is rough. The rabbit visits the dog. The tiger chases the dog. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is rough. The tiger visits the dog. If someone eats the rabbit and the rabbit chases the tiger then the tiger eats the rabbit. If someone eats the rabbit and they are rough then the rabbit is green. If the rabbit is nice then the rabbit visits the tiger. If someone visits the rabbit then they visit the tiger. If the dog chases the tiger then the tiger visits the dog. If someone is rough and kind then they chase the rabbit. If someone visits the rabbit and they are nice then they chase the dog. If someone is nice and they eat the rabbit then the rabbit chases the dog.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone eats the rabbit and the rabbit chases the tiger then the tiger eats the rabbit.
((("someone" "eats" "rabbit" "+") ("rabbit" "chases" "tiger" "+")) -> ("tiger" "eats" "rabbit" "+"))
If someone eats the rabbit and they are rough then the rabbit is green.
((("someone" "eats" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("rabbit" "is" "green" "+"))
If the rabbit is nice then the rabbit visits the tiger.
((("rabbit" "is" "nice" "+")) -> ("rabbit" "visits" "tiger" "+"))
If someone visits the rabbit then they visit the tiger.
((("someone" "visits" "rabbit" "+")) -> ("someone" "visits" "tiger" "+"))
If the dog chases the tiger then the tiger visits the dog.
((("dog" "chases" "tiger" "+")) -> ("tiger" "visits" "dog" "+"))
If someone is rough and kind then they chase the rabbit.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone visits the rabbit and they are nice then they chase the dog.
((("someone" "visits" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "dog" "+"))
If someone is nice and they eat the rabbit then the rabbit chases the dog.
((("someone" "is" "nice" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
The rabbit is rough.
True
1
proof
[(triple9)]
("rabbit" "is" "rough" "+")
triple9
The tiger is not nice.
False
1
inv-proof
[(triple14)]
("tiger" "is" "nice" "-")
triple14
The tiger eats the rabbit.
True
3
proof
[(((triple3 triple6) -> rule1))]
("tiger" "eats" "rabbit" "+")
((triple3 triple6) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger does not chase the rabbit.
False
3
inv-proof
[(((triple15 triple13) -> rule6))]
("tiger" "chases" "rabbit" "-")
((triple15 triple13) -> (rule6 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The rabbit is green.
True
5
proof
[(((((triple3 triple6) -> rule1) triple15) -> rule2))]
("rabbit" "is" "green" "+")
((((triple3 triple6) -> (rule1 % int2)) triple15) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The rabbit is not green.
False
5
inv-proof
[(((((triple3 triple6) -> rule1) triple15) -> rule2))]
("rabbit" "is" "green" "-")
((((triple3 triple6) -> (rule1 % int2)) triple15) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The dog visits the tiger.
Unknown
rconc
[@1: The dog visits the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "visits" "tiger" "+")
The tiger does not visit the tiger.
Unknown
inv-rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger visits the rabbit.
Unknown
random
[@0: The tiger visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "rabbit" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The dog chases the rabbit.[(triple1)] The dog chases the tiger.[(triple2)] The dog eats the rabbit.[(triple3)] The dog eats the tiger.[(triple4)] The dog is kind.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is rough.[(triple9)] The rabbit visits the dog.[(triple10)] The tiger chases the dog.[(triple11)] The tiger is cold.[(triple12)] The tiger is kind.[(triple13)] The tiger is nice.[(triple14)] The tiger is rough.[(triple15)] The tiger visits the dog.[(triple16 OR ((triple2) -> rule5))] @1: The tiger chases the rabbit.[(((triple15 triple13) -> rule6))] The tiger eats the rabbit.[(((triple3 triple6) -> rule1))] @2: The rabbit chases the dog.[(((triple14 ((triple3 triple6) -> rule1)) -> rule8))] The rabbit is green.[(((((triple3 triple6) -> rule1) triple15) -> rule2))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple3
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple6
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple10
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple16
((triple2) -> (rule5 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
((triple15 triple13) -> (rule6 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((triple3 triple6) -> (rule1 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((triple14 ((triple3 triple6) -> (rule1 % int2))) -> (rule8 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
((((triple3 triple6) -> (rule1 % int2)) triple15) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2