The bald eagle chases the dog. The bald eagle needs the dog. The cow is blue. The cow is kind. The cow is rough. The cow visits the dog. The dog chases the bald eagle. The dog is rough. The dog visits the bald eagle. The dog visits the cow. If someone is kind and they chase the cow then they chase the dog. If someone is cold and rough then they are nice. If someone visits the dog and the dog visits the cow then the dog needs the bald eagle. If someone chases the dog then they visit the bald eagle. If someone needs the dog and they need the bald eagle then they are nice. If someone is kind and rough then they chase the cow.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone is kind and they chase the cow then they chase the dog.
((("someone" "is" "kind" "+") ("someone" "chases" "cow" "+")) -> ("someone" "chases" "dog" "+"))
If someone is cold and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the dog and the dog visits the cow then the dog needs the bald eagle.
((("someone" "visits" "dog" "+") ("dog" "visits" "cow" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone chases the dog then they visit the bald eagle.
((("someone" "chases" "dog" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone needs the dog and they need the bald eagle then they are nice.
((("someone" "needs" "dog" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and rough then they chase the cow.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "chases" "cow" "+"))
The bald eagle chases the dog.
True
1
proof
[(triple1)]
("bald eagle" "chases" "dog" "+")
triple1
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple9)]
("dog" "visits" "bald eagle" "-")
triple9
The cow chases the cow.
True
3
proof
[(((triple4 triple5) -> rule6))]
("cow" "chases" "cow" "+")
((triple4 triple5) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow does not chase the cow.
False
3
inv-proof
[(((triple4 triple5) -> rule6))]
("cow" "chases" "cow" "-")
((triple4 triple5) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the dog.
True
5
proof
[(((triple4 ((triple4 triple5) -> rule6)) -> rule1))]
("cow" "chases" "dog" "+")
((triple4 ((triple4 triple5) -> (rule6 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow does not chase the dog.
False
5
inv-proof
[(((triple4 ((triple4 triple5) -> rule6)) -> rule1))]
("cow" "chases" "dog" "-")
((triple4 ((triple4 triple5) -> (rule6 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow visits the bald eagle.
True
6
proof
[(((((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4))]
("cow" "visits" "bald eagle" "+")
((((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cow does not visit the bald eagle.
False
6
inv-proof
[(((((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4))]
("cow" "visits" "bald eagle" "-")
((((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "nice" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "nice" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow needs the bald eagle.
Unknown
random
[@0: The cow needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bald eagle" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle visits the cow.
Unknown
random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle needs the dog.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is rough.[(triple5)] The cow visits the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is rough.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the cow.[(triple10)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule4))] The cow chases the cow.[(((triple4 triple5) -> rule6))] The dog needs the bald eagle.[(((triple6 triple10) -> rule3))] @2: The cow chases the dog.[(((triple4 ((triple4 triple5) -> rule6)) -> rule1))] @3: The cow visits the bald eagle.[(((((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow visits the dog.
("cow" "visits" "dog" "+")
triple6
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple4 triple5) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((triple6 triple10) -> (rule3 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
((triple4 ((triple4 triple5) -> (rule6 % int2))) -> (rule1 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((((triple4 ((triple4 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3