The dog eats the rabbit. The dog is cold. The dog is kind. The dog is nice. The dog likes the rabbit. The dog needs the rabbit. The rabbit eats the dog. The rabbit is big. The rabbit is cold. The rabbit is round. The rabbit likes the dog. The rabbit needs the dog. If someone likes the dog and the dog needs the rabbit then they eat the dog. If someone likes the dog and the dog is cold then they like the rabbit.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone likes the dog and the dog needs the rabbit then they eat the dog.
((("someone" "likes" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("someone" "eats" "dog" "+"))
If someone likes the dog and the dog is cold then they like the rabbit.
((("someone" "likes" "dog" "+") ("dog" "is" "cold" "+")) -> ("someone" "likes" "rabbit" "+"))
The rabbit is round.
True
1
proof
[(triple10)]
("rabbit" "is" "round" "+")
triple10
The rabbit is not cold.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "cold" "-")
triple9
The rabbit likes the rabbit.
True
3
proof
[(((triple11 triple2) -> rule2))]
("rabbit" "likes" "rabbit" "+")
((triple11 triple2) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit does not like the rabbit.
False
3
inv-proof
[(((triple11 triple2) -> rule2))]
("rabbit" "likes" "rabbit" "-")
((triple11 triple2) -> (rule2 % int1))
The rabbit likes 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 = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The dog eats the rabbit.[(triple1)] The dog is cold.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog likes the rabbit.[(triple5)] The dog needs the rabbit.[(triple6)] The rabbit eats the dog.[(triple7 OR ((triple11 triple6) -> rule1))] The rabbit is big.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the dog.[(triple12)] @1: The rabbit likes the rabbit.[(((triple11 triple2) -> rule2))]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple5
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple7
((triple11 triple6) -> (rule1 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple11
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple12
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple11 triple2) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1