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