The bald eagle likes the cat. The bald eagle needs the cat. The bald eagle needs the squirrel. The cat is green. The cat likes the squirrel. The lion is young. The lion likes the cat. The lion needs the cat. The squirrel is rough. The squirrel likes the bald eagle. The squirrel visits the cat. If someone is nice then they are cold. If someone needs the lion and the lion visits the cat then the lion likes the cat. If someone visits the squirrel and the squirrel needs the lion then the lion likes the squirrel. If someone visits the cat then they are nice. If someone is cold and they like the bald eagle then the bald eagle visits the cat. If the lion likes the bald eagle then the bald eagle likes the cat.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone needs the lion and the lion visits the cat then the lion likes the cat.
((("someone" "needs" "lion" "+") ("lion" "visits" "cat" "+")) -> ("lion" "likes" "cat" "+"))
If someone visits the squirrel and the squirrel needs the lion then the lion likes the squirrel.
((("someone" "visits" "squirrel" "+") ("squirrel" "needs" "lion" "+")) -> ("lion" "likes" "squirrel" "+"))
If someone visits the cat then they are nice.
((("someone" "visits" "cat" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and they like the bald eagle then the bald eagle visits the cat.
((("someone" "is" "cold" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If the lion likes the bald eagle then the bald eagle likes the cat.
((("lion" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
The squirrel is rough.
True
1
proof
[(triple9)]
("squirrel" "is" "rough" "+")
triple9
The cat is not green.
False
1
inv-proof
[(triple4)]
("cat" "is" "green" "-")
triple4
The squirrel is nice.
True
2
proof
[(((triple11) -> rule4))]
("squirrel" "is" "nice" "+")
((triple11) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple11) -> rule4))]
("squirrel" "is" "nice" "-")
((triple11) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is cold.
True
3
proof
[(((((triple11) -> rule4)) -> rule1))]
("squirrel" "is" "cold" "+")
((((triple11) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is not cold.
False
3
inv-proof
[(((((triple11) -> rule4)) -> rule1))]
("squirrel" "is" "cold" "-")
((((triple11) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The bald eagle visits the cat.
True
5
proof
[(((((((triple11) -> rule4)) -> rule1) triple10) -> rule5))]
("bald eagle" "visits" "cat" "+")
((((((triple11) -> (rule4 % int3))) -> (rule1 % int2)) triple10) -> (rule5 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The bald eagle does not visit the cat.
False
5
inv-proof
[(((((((triple11) -> rule4)) -> rule1) triple10) -> rule5))]
("bald eagle" "visits" "cat" "-")
((((((triple11) -> (rule4 % int3))) -> (rule1 % int2)) triple10) -> (rule5 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The bald eagle is nice.
True
6
proof
[(((((((((triple11) -> rule4)) -> rule1) triple10) -> rule5)) -> rule4))]
("bald eagle" "is" "nice" "+")
((((((((triple11) -> (rule4 % int4))) -> (rule1 % int3)) triple10) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The bald eagle is not nice.
False
6
inv-proof
[(((((((((triple11) -> rule4)) -> rule1) triple10) -> rule5)) -> rule4))]
("bald eagle" "is" "nice" "-")
((((((((triple11) -> (rule4 % int4))) -> (rule1 % int3)) triple10) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The bald eagle is cold.
True
7
proof
[(((((((((((triple11) -> rule4)) -> rule1) triple10) -> rule5)) -> rule4)) -> rule1))]
("bald eagle" "is" "cold" "+")
((((((((((triple11) -> (rule4 % int5))) -> (rule1 % int4)) triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
The bald eagle is not cold.
False
7
inv-proof
[(((((((((((triple11) -> rule4)) -> rule1) triple10) -> rule5)) -> rule4)) -> rule1))]
("bald eagle" "is" "cold" "-")
((((((((((triple11) -> (rule4 % int5))) -> (rule1 % int4)) triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "nice" "-")
The lion is cold.
Unknown
rconc
[@2: The lion is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("lion" "is" "cold" "+")
The cat is not cold.
Unknown
inv-rconc
[@2: The cat is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("cat" "is" "cold" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "nice" "+")
The lion does not like the squirrel.
Unknown
inv-rconc
[@1: The lion likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "squirrel" "-")
The lion needs the squirrel.
Unknown
random
[@0: The lion needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "squirrel" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion visits the squirrel.
Unknown
random
[@0: The lion visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "squirrel" "+")
The squirrel does not need the bald eagle.
Unknown
inv-random
[@0: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bald eagle" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle needs the cat.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The cat is green.[(triple4)] The cat likes the squirrel.[(triple5)] The lion is young.[(triple6)] The lion likes the cat.[(triple7)] The lion needs the cat.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel visits the cat.[(triple11)] @1: The squirrel is nice.[(((triple11) -> rule4))] @2: The squirrel is cold.[(((((triple11) -> rule4)) -> rule1))] @3: The bald eagle visits the cat.[(((((((triple11) -> rule4)) -> rule1) triple10) -> rule5))] @4: The bald eagle is nice.[(((((((((triple11) -> rule4)) -> rule1) triple10) -> rule5)) -> rule4))] @5: The bald eagle is cold.[(((((((((((triple11) -> rule4)) -> rule1) triple10) -> rule5)) -> rule4)) -> rule1))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the cat.
("lion" "likes" "cat" "+")
triple7
The lion needs the cat.
("lion" "needs" "cat" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple10
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple11) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple11) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((((((triple11) -> (rule4 % int3))) -> (rule1 % int2)) triple10) -> (rule5 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((((((triple11) -> (rule4 % int4))) -> (rule1 % int3)) triple10) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((((((((triple11) -> (rule4 % int5))) -> (rule1 % int4)) triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5