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