The bald eagle is not kind. The bald eagle is nice. The bald eagle sees the dog. The cat is green. The cat sees the bald eagle. The cat does not see the mouse. The dog chases the bald eagle. The dog is not kind. The dog is nice. The dog does not see the cat. The dog does not see the mouse. The mouse chases the dog. The mouse needs the bald eagle. The mouse sees the dog. If someone is nice then they are not cold. Nice people are rough. If someone chases the bald eagle and they chase the dog then the bald eagle does not need the dog. If someone is rough then they chase the cat. If someone is rough then they need the cat. If the dog needs the cat then the cat is nice. If someone chases the cat and they are not green then they need the mouse. If someone sees the cat then the cat needs the mouse. If someone sees the mouse then the mouse needs the cat.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cat is green.
("cat" "is" "green" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog does not see the cat.
("dog" "sees" "cat" "-")
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone is nice then they are not cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the bald eagle and they chase the dog then the bald eagle does not need the dog.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "dog" "+")) -> ("bald eagle" "needs" "dog" "-"))
If someone is rough then they chase the cat.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "cat" "+"))
If someone is rough then they need the cat.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "cat" "+"))
If the dog needs the cat then the cat is nice.
((("dog" "needs" "cat" "+")) -> ("cat" "is" "nice" "+"))
If someone chases the cat and they are not green then they need the mouse.
((("someone" "chases" "cat" "+") ("someone" "is" "green" "~")) -> ("someone" "needs" "mouse" "+"))
If someone sees the cat then the cat needs the mouse.
((("someone" "sees" "cat" "+")) -> ("cat" "needs" "mouse" "+"))
If someone sees the mouse then the mouse needs the cat.
((("someone" "sees" "mouse" "+")) -> ("mouse" "needs" "cat" "+"))
The dog is nice.
True
1
proof
[(triple9)]
("dog" "is" "nice" "+")
triple9
The dog is kind.
False
1
inv-proof
[(triple8)]
("dog" "is" "kind" "+")
triple8
The dog is not cold.
True
2
proof
[(((triple9) -> rule1))]
("dog" "is" "cold" "-")
((triple9) -> (rule1 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is not rough.
False
2
inv-proof
[(((triple9) -> rule2))]
("dog" "is" "rough" "-")
((triple9) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The bald eagle chases the cat.
True
3
proof
[(((((triple2) -> rule2)) -> rule4))]
("bald eagle" "chases" "cat" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle does not chase the cat.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule4))]
("bald eagle" "chases" "cat" "-")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The cat is nice.
True
4
proof
[(((((((triple9) -> rule2)) -> rule5)) -> rule6))]
("cat" "is" "nice" "+")
((((((triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cat is not nice.
False
4
inv-proof
[(((((((triple9) -> rule2)) -> rule5)) -> rule6))]
("cat" "is" "nice" "-")
((((((triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cat is rough.
True
5
proof
[(((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2))]
("cat" "is" "rough" "+")
((((((((triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The dog needs the cat.
("dog" "needs" "cat" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The cat is not rough.
False
5
inv-proof
[(((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2))]
("cat" "is" "rough" "-")
((((((((triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The dog needs the cat.
("dog" "needs" "cat" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The cat chases the cat.
True
6
proof
[(((((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2)) -> rule4))]
("cat" "chases" "cat" "+")
((((((((((triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The dog needs the cat.
("dog" "needs" "cat" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5
The cat does not chase the cat.
False
6
inv-proof
[(((((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2)) -> rule4))]
("cat" "chases" "cat" "-")
((((((((((triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The dog needs the cat.
("dog" "needs" "cat" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "rough" "-")
The mouse needs the cat.
Unknown
rconc
[@2: The mouse needs the cat.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("mouse" "needs" "cat" "+")
The bald eagle does not need the mouse.
Unknown
inv-rconc
[@1: The bald eagle needs the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "needs" "mouse" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The mouse does not chase the cat.
Unknown
inv-rconc
[@2: The mouse chases the cat.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("mouse" "chases" "cat" "-")
The dog needs the mouse.
Unknown
rconc
[@1: The dog needs the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "needs" "mouse" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The dog chases the mouse.
Unknown
random
[@0: The dog chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "mouse" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The mouse does not chase the bald eagle.
Unknown
inv-random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle is nice.[(triple2)] The bald eagle is not kind.[(triple1)] The bald eagle sees the dog.[(triple3)] The cat does not see the mouse.[(triple6)] The cat is green.[(triple4)] The cat sees the bald eagle.[(triple5)] The dog chases the bald eagle.[(triple7)] The dog does not see the cat.[(triple10)] The dog does not see the mouse.[(triple11)] The dog is nice.[(triple9)] The dog is not kind.[(triple8)] The mouse chases the dog.[(triple12)] The mouse needs the bald eagle.[(triple13)] The mouse sees the dog.[(triple14)] @1: The bald eagle is not cold.[(((triple2) -> rule1))] The bald eagle is rough.[(((triple2) -> rule2))] The dog is not cold.[(((triple9) -> rule1))] The dog is rough.[(((triple9) -> rule2))] @2: The bald eagle chases the cat.[(((((triple2) -> rule2)) -> rule4))] The bald eagle needs the cat.[(((((triple2) -> rule2)) -> rule5))] The dog chases the cat.[(((((triple9) -> rule2)) -> rule4))] The dog needs the cat.[(((((triple9) -> rule2)) -> rule5))] @3: The cat is nice.[(((((((triple9) -> rule2)) -> rule5)) -> rule6))] @4: The cat is not cold.[(((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule1))] The cat is rough.[(((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2))] @5: The cat chases the cat.[(((((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2)) -> rule4))] The cat needs the cat.[(((((((((((triple9) -> rule2)) -> rule5)) -> rule6)) -> rule2)) -> rule5))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
triple6
The cat is green.
("cat" "is" "green" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple7
The dog does not see the cat.
("dog" "sees" "cat" "-")
triple10
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
triple11
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is not kind.
("dog" "is" "kind" "-")
triple8
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple12
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple13
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple14
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The dog is not cold.
("dog" "is" "cold" "-")
((triple9) -> (rule1 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple9) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The dog chases the cat.
("dog" "chases" "cat" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the cat.
("dog" "needs" "cat" "+")
((((triple9) -> (rule2 % int2))) -> (rule5 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
((((((triple9) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The dog needs the cat.
("dog" "needs" "cat" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The cat is not cold.
("cat" "is" "cold" "-")
((((((((triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat is not cold.
("cat" "is" "cold" "-")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The dog needs the cat.
("dog" "needs" "cat" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The cat is rough.
("cat" "is" "rough" "+")
((((((((triple9) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The dog needs the cat.
("dog" "needs" "cat" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
((((((((((triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The dog needs the cat.
("dog" "needs" "cat" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5
The cat needs the cat.
("cat" "needs" "cat" "+")
((((((((((triple9) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The dog needs the cat.
("dog" "needs" "cat" "+")
int4
The dog is rough.
("dog" "is" "rough" "+")
int5