The dog chases the rabbit. The dog is cold. The dog is red. The dog is young. The dog needs the rabbit. The dog visits the rabbit. The rabbit chases the dog. The rabbit is blue. The rabbit is red. The rabbit is round. The rabbit needs the dog. The rabbit visits the dog. If someone chases the rabbit and they are cold then the rabbit visits the dog. If the rabbit is round and the rabbit chases the dog then the dog is young. If someone is round and blue then they chase the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
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 blue.
("rabbit" "is" "blue" "+")
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 chases the rabbit and they are cold then the rabbit visits the dog.
((("someone" "chases" "rabbit" "+") ("someone" "is" "cold" "+")) -> ("rabbit" "visits" "dog" "+"))
If the rabbit is round and the rabbit chases the dog then the dog is young.
((("rabbit" "is" "round" "+") ("rabbit" "chases" "dog" "+")) -> ("dog" "is" "young" "+"))
If someone is round and blue then they chase the rabbit.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "rabbit" "+"))
The dog is young.
True
1
proof
[(triple4 OR ((triple10 triple7) -> rule2))]
("dog" "is" "young" "+")
triple4
((triple10 triple7) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
1
inv-proof
[(triple4 OR ((triple10 triple7) -> rule2))]
("dog" "is" "young" "-")
triple4
((triple10 triple7) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The rabbit chases the rabbit.
True
3
proof
[(((triple10 triple8) -> rule3))]
("rabbit" "chases" "rabbit" "+")
((triple10 triple8) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
False
3
inv-proof
[(((triple10 triple8) -> rule3))]
("rabbit" "chases" "rabbit" "-")
((triple10 triple8) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog chases the rabbit.[(triple1)] The dog is cold.[(triple2)] The dog is red.[(triple3)] The dog is young.[(triple4 OR ((triple10 triple7) -> rule2))] The dog needs the rabbit.[(triple5)] The dog visits the rabbit.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9)] The rabbit is round.[(triple10)] The rabbit needs the dog.[(triple11)] The rabbit visits the dog.[(triple12 OR ((triple1 triple2) -> rule1))] @1: The rabbit chases the rabbit.[(((triple10 triple8) -> rule3))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
((triple10 triple7) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple6
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
((triple1 triple2) -> (rule1 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple10 triple8) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1