The bald eagle chases the dog. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The cat is blue. The cat is cold. The cat sees the bald eagle. The cat visits the dog. The dog is blue. The dog is cold. The dog is nice. The dog is red. The dog sees the cat. The dog visits the bald eagle. The dog visits the cat. If someone visits the cat then the cat visits the dog. If the bald eagle chases the cat and the cat chases the bald eagle then the bald eagle visits the cat. If the bald eagle is rough and the bald eagle chases the dog then the dog chases the cat. If someone visits the cat and they are red then the cat chases the dog. If someone chases the dog then they see the cat. If the bald eagle sees the dog then the dog is cold. If someone sees the cat then they are nice. If the cat chases the bald eagle and the bald eagle sees the dog then the cat is nice.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
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 visits the cat then the cat visits the dog.
((("someone" "visits" "cat" "+")) -> ("cat" "visits" "dog" "+"))
If the bald eagle chases the cat and the cat chases the bald eagle then the bald eagle visits the cat.
((("bald eagle" "chases" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If the bald eagle is rough and the bald eagle chases the dog then the dog chases the cat.
((("bald eagle" "is" "rough" "+") ("bald eagle" "chases" "dog" "+")) -> ("dog" "chases" "cat" "+"))
If someone visits the cat and they are red then the cat chases the dog.
((("someone" "visits" "cat" "+") ("someone" "is" "red" "+")) -> ("cat" "chases" "dog" "+"))
If someone chases the dog then they see the cat.
((("someone" "chases" "dog" "+")) -> ("someone" "sees" "cat" "+"))
If the bald eagle sees the dog then the dog is cold.
((("bald eagle" "sees" "dog" "+")) -> ("dog" "is" "cold" "+"))
If someone sees the cat then they are nice.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "nice" "+"))
If the cat chases the bald eagle and the bald eagle sees the dog then the cat is nice.
((("cat" "chases" "bald eagle" "+") ("bald eagle" "sees" "dog" "+")) -> ("cat" "is" "nice" "+"))
The dog visits the cat.
True
1
proof
[(triple15)]
("dog" "visits" "cat" "+")
triple15
The dog is not nice.
False
1
inv-proof
[(triple11 OR ((triple13) -> rule7))]
("dog" "is" "nice" "-")
triple11
((triple13) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle sees the cat.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "cat" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat does not chase the dog.
False
3
inv-proof
[(((triple15 triple12) -> rule4))]
("cat" "chases" "dog" "-")
((triple15 triple12) -> (rule4 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat sees the cat.
True
4
proof
[(((((triple15 triple12) -> rule4)) -> rule5))]
("cat" "sees" "cat" "+")
((((triple15 triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat does not see the cat.
False
4
inv-proof
[(((((triple15 triple12) -> rule4)) -> rule5))]
("cat" "sees" "cat" "-")
((((triple15 triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat is nice.
True
5
proof
[(((((((triple15 triple12) -> rule4)) -> rule5)) -> rule7))]
("cat" "is" "nice" "+")
((((((triple15 triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3
The cat is not nice.
False
5
inv-proof
[(((((((triple15 triple12) -> rule4)) -> rule5)) -> rule7))]
("cat" "is" "nice" "-")
((((((triple15 triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3
The dog does not chase the cat.
Unknown
inv-rconc
[@1: The dog chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "cat" "-")
The bald eagle visits the cat.
Unknown
rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "cat" "+")
The bald eagle does not chase the cat.
Unknown
inv-random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3 OR ((((triple1) -> rule5)) -> rule7))] The bald eagle is red.[(triple4)] The cat is blue.[(triple5)] The cat is cold.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat visits the dog.[(triple8 OR ((triple15) -> rule1))] The dog is blue.[(triple9)] The dog is cold.[(triple10)] The dog is nice.[(triple11 OR ((triple13) -> rule7))] The dog is red.[(triple12)] The dog sees the cat.[(triple13)] The dog visits the bald eagle.[(triple14)] The dog visits the cat.[(triple15)] @1: The bald eagle sees the cat.[(((triple1) -> rule5))] The cat chases the dog.[(((triple15 triple12) -> rule4))] @2: The cat sees the cat.[(((((triple15 triple12) -> rule4)) -> rule5))] @3: The cat is nice.[(((((((triple15 triple12) -> rule4)) -> rule5)) -> rule7))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
((((triple1) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat visits the dog.
("cat" "visits" "dog" "+")
triple8
((triple15) -> (rule1 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog is nice.
("dog" "is" "nice" "+")
triple11
((triple13) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is red.
("dog" "is" "red" "+")
triple12
The dog sees the cat.
("dog" "sees" "cat" "+")
triple13
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple14
The dog visits the cat.
("dog" "visits" "cat" "+")
triple15
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
((triple15 triple12) -> (rule4 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((((triple15 triple12) -> (rule4 % int2))) -> (rule5 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
((((((triple15 triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
int3