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