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