The bald eagle chases the dog. The bald eagle is blue. The bald eagle is nice. The bald eagle sees the dog. The dog chases the bald eagle. The dog is blue. The dog is cold. The dog is green. The dog is nice. The dog is rough. The dog needs the bald eagle. The dog sees the bald eagle. If something is green and it chases the bald eagle then it sees the dog. If something sees the dog then it needs the dog. If something needs the dog and it is rough then it chases the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If something is green and it chases the bald eagle then it sees the dog.
((("something" "is" "green" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "sees" "dog" "+"))
If something sees the dog then it needs the dog.
((("something" "sees" "dog" "+")) -> ("something" "needs" "dog" "+"))
If something needs the dog and it is rough then it chases the dog.
((("something" "needs" "dog" "+") ("something" "is" "rough" "+")) -> ("something" "chases" "dog" "+"))
The dog is cold.
True
1
proof
[(triple7)]
("dog" "is" "cold" "+")
triple7
The bald eagle is not blue.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The bald eagle needs the dog.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "needs" "dog" "+")
((triple4) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle does not need the dog.
False
2
inv-proof
[(((triple4) -> rule2))]
("bald eagle" "needs" "dog" "-")
((triple4) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The dog needs the dog.
True
4
proof
[(((((triple8 triple5) -> rule1)) -> rule2))]
("dog" "needs" "dog" "+")
((((triple8 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog does not need the dog.
False
4
inv-proof
[(((((triple8 triple5) -> rule1)) -> rule2))]
("dog" "needs" "dog" "-")
((((triple8 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog chases the dog.
True
6
proof
[(((((((triple8 triple5) -> rule1)) -> rule2) triple10) -> rule3))]
("dog" "chases" "dog" "+")
((((((triple8 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
int3
The dog does not chase the dog.
False
6
inv-proof
[(((((((triple8 triple5) -> rule1)) -> rule2) triple10) -> rule3))]
("dog" "chases" "dog" "-")
((((((triple8 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
int3
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog is rough.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog sees the bald eagle.[(triple12)] @1: The bald eagle needs the dog.[(((triple4) -> rule2))] The dog sees the dog.[(((triple8 triple5) -> rule1))] @2: The dog needs the dog.[(((((triple8 triple5) -> rule1)) -> rule2))] @3: The dog chases the dog.[(((((((triple8 triple5) -> rule1)) -> rule2) triple10) -> rule3))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple12
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple4) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple8 triple5) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple8 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
((((((triple8 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
int3