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