The dog chases the rabbit. The dog is green. The dog is kind. The dog is nice. The dog is red. The dog is round. The dog needs the rabbit. The dog visits the rabbit. The rabbit chases the dog. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit needs the dog. The rabbit visits the dog. If someone visits the rabbit and they chase the dog then they are nice. If the dog needs the rabbit and the rabbit is round then the dog visits the rabbit. If someone needs the rabbit then the rabbit is round. If someone visits the dog and they need the rabbit then the dog chases the rabbit. If someone needs the rabbit and the rabbit visits the dog then the dog is round. If the rabbit is kind and the rabbit is red then the rabbit chases the dog.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone visits the rabbit and they chase the dog then they are nice.
((("someone" "visits" "rabbit" "+") ("someone" "chases" "dog" "+")) -> ("someone" "is" "nice" "+"))
If the dog needs the rabbit and the rabbit is round then the dog visits the rabbit.
((("dog" "needs" "rabbit" "+") ("rabbit" "is" "round" "+")) -> ("dog" "visits" "rabbit" "+"))
If someone needs the rabbit then the rabbit is round.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If someone visits the dog and they need the rabbit then the dog chases the rabbit.
((("someone" "visits" "dog" "+") ("someone" "needs" "rabbit" "+")) -> ("dog" "chases" "rabbit" "+"))
If someone needs the rabbit and the rabbit visits the dog then the dog is round.
((("someone" "needs" "rabbit" "+") ("rabbit" "visits" "dog" "+")) -> ("dog" "is" "round" "+"))
If the rabbit is kind and the rabbit is red then the rabbit chases the dog.
((("rabbit" "is" "kind" "+") ("rabbit" "is" "red" "+")) -> ("rabbit" "chases" "dog" "+"))
The dog chases the rabbit.
True
1
proof
[(triple1)]
("dog" "chases" "rabbit" "+")
triple1
The rabbit does not chase the dog.
False
1
inv-proof
[(triple9 OR ((triple11 triple13) -> rule6))]
("rabbit" "chases" "dog" "-")
triple9
((triple11 triple13) -> (rule6 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The dog chases the rabbit.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is round.[(triple6 OR ((triple7 triple16) -> rule5))] The dog needs the rabbit.[(triple7)] The dog visits the rabbit.[(triple8 OR ((triple7 triple14) -> rule2) OR ((triple7 ((triple7) -> rule3)) -> rule2))] The rabbit chases the dog.[(triple9 OR ((triple11 triple13) -> rule6))] The rabbit is green.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit is round.[(triple14 OR ((triple7) -> rule3))] The rabbit needs the dog.[(triple15)] The rabbit visits the dog.[(triple16)]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
((triple7 triple16) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple8
((triple7 triple14) -> (rule2 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple9
((triple11 triple13) -> (rule6 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
((triple7) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple16