The bald eagle chases the lion. The bald eagle is blue. The bald eagle is young. The bald eagle needs the lion. The bald eagle visits the dog. The dog chases the bald eagle. The dog chases the lion. The dog is blue. The dog is rough. The dog is young. The dog visits the lion. The lion chases the bald eagle. The lion chases the dog. The lion is rough. The lion is round. The lion visits the bald eagle. If something is cold and blue then it chases the lion. If the dog visits the bald eagle then the bald eagle visits the lion. Blue things are rough. If the lion chases the bald eagle then the lion chases the dog. If the bald eagle visits the dog and the bald eagle is cold then the bald eagle chases the lion. All rough things are blue. If the lion is blue then the lion is cold. If something needs the dog and it is cold then the dog is cold.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something is cold and blue then it chases the lion.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "chases" "lion" "+"))
If the dog visits the bald eagle then the bald eagle visits the lion.
((("dog" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If the lion chases the bald eagle then the lion chases the dog.
((("lion" "chases" "bald eagle" "+")) -> ("lion" "chases" "dog" "+"))
If the bald eagle visits the dog and the bald eagle is cold then the bald eagle chases the lion.
((("bald eagle" "visits" "dog" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "chases" "lion" "+"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If the lion is blue then the lion is cold.
((("lion" "is" "blue" "+")) -> ("lion" "is" "cold" "+"))
If something needs the dog and it is cold then the dog is cold.
((("something" "needs" "dog" "+") ("something" "is" "cold" "+")) -> ("dog" "is" "cold" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple6)]
("dog" "chases" "bald eagle" "+")
triple6
The lion does not chase the bald eagle.
False
1
inv-proof
[(triple12)]
("lion" "chases" "bald eagle" "-")
triple12
The lion is blue.
True
2
proof
[(((triple14) -> rule6))]
("lion" "is" "blue" "+")
((triple14) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("bald eagle" "is" "rough" "-")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The lion is cold.
True
3
proof
[(((((triple14) -> rule6)) -> rule7))]
("lion" "is" "cold" "+")
((((triple14) -> (rule6 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is not cold.
False
3
inv-proof
[(((((triple14) -> rule6)) -> rule7))]
("lion" "is" "cold" "-")
((((triple14) -> (rule6 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion chases the lion.
True
6
proof
[(((((((triple14) -> rule6)) -> rule7) ((triple14) -> rule6)) -> rule1))]
("lion" "chases" "lion" "+")
((((((triple14) -> (rule6 % int3))) -> (rule7 % int2)) ((triple14) -> (rule6 % int3))) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion does not chase the lion.
False
6
inv-proof
[(((((((triple14) -> rule6)) -> rule7) ((triple14) -> rule6)) -> rule1))]
("lion" "chases" "lion" "-")
((((((triple14) -> (rule6 % int3))) -> (rule7 % int2)) ((triple14) -> (rule6 % int3))) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "cold" "-")
The bald eagle visits the lion.
Unknown
rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "lion" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The dog visits the bald eagle.
Unknown
random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "+")
The bald eagle does not need the dog.
Unknown
inv-random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "-")
The dog needs the bald eagle.
Unknown
random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle visits the dog.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the lion.[(triple7)] The dog is blue.[(triple8 OR ((triple9) -> rule6))] The dog is rough.[(triple9 OR ((triple8) -> rule3))] The dog is young.[(triple10)] The dog visits the lion.[(triple11)] The lion chases the bald eagle.[(triple12)] The lion chases the dog.[(triple13 OR ((triple12) -> rule4))] The lion is rough.[(triple14)] The lion is round.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The bald eagle is rough.[(((triple2) -> rule3))] The lion is blue.[(((triple14) -> rule6))] @2: The lion is cold.[(((((triple14) -> rule6)) -> rule7))] @3: The lion chases the lion.[(((((((triple14) -> rule6)) -> rule7) ((triple14) -> rule6)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog chases the lion.
("dog" "chases" "lion" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
((triple9) -> (rule6 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
triple9
((triple8) -> (rule3 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is young.
("dog" "is" "young" "+")
triple10
The dog visits the lion.
("dog" "visits" "lion" "+")
triple11
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple12
The lion chases the dog.
("lion" "chases" "dog" "+")
triple13
((triple12) -> (rule4 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple14
The lion is round.
("lion" "is" "round" "+")
triple15
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple16
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((triple14) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((((triple14) -> (rule6 % int2))) -> (rule7 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
((((((triple14) -> (rule6 % int3))) -> (rule7 % int2)) ((triple14) -> (rule6 % int3))) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3