The bald eagle eats the tiger. The bald eagle is not big. The bald eagle is not cold. The bald eagle is nice. The bald eagle does not need the tiger. The bald eagle sees the tiger. The cat is young. The tiger is big. The tiger is round. The tiger does not need the bald eagle. The tiger needs the cat. The tiger sees the bald eagle. If something is young then it eats the cat. If something needs the cat then it eats the cat. If something eats the cat then the cat needs the tiger. If something sees the tiger and it needs the tiger then the tiger is nice. If something needs the cat and it does not need the tiger then the cat eats the bald eagle. If something is nice and it does not need the tiger then it sees the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cat is young.
("cat" "is" "young" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something is young then it eats the cat.
((("something" "is" "young" "+")) -> ("something" "eats" "cat" "+"))
If something needs the cat then it eats the cat.
((("something" "needs" "cat" "+")) -> ("something" "eats" "cat" "+"))
If something eats the cat then the cat needs the tiger.
((("something" "eats" "cat" "+")) -> ("cat" "needs" "tiger" "+"))
If something sees the tiger and it needs the tiger then the tiger is nice.
((("something" "sees" "tiger" "+") ("something" "needs" "tiger" "+")) -> ("tiger" "is" "nice" "+"))
If something needs the cat and it does not need the tiger then the cat eats the bald eagle.
((("something" "needs" "cat" "+") ("something" "needs" "tiger" "~")) -> ("cat" "eats" "bald eagle" "+"))
If something is nice and it does not need the tiger then it sees the tiger.
((("something" "is" "nice" "+") ("something" "needs" "tiger" "~")) -> ("something" "sees" "tiger" "+"))
The cat is young.
True
1
proof
[(triple7)]
("cat" "is" "young" "+")
triple7
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple6 OR ((triple4 triple5) -> rule6))]
("bald eagle" "sees" "tiger" "-")
triple6
((triple4 triple5) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The cat eats the cat.
True
2
proof
[(((triple7) -> rule1))]
("cat" "eats" "cat" "+")
((triple7) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not eat the cat.
False
2
inv-proof
[(((triple7) -> rule1))]
("cat" "eats" "cat" "-")
((triple7) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat needs the tiger.
True
3
proof
[(((((triple11) -> rule2)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))]
("cat" "needs" "tiger" "+")
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat does not need the tiger.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))]
("cat" "needs" "tiger" "-")
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "bald eagle" "-")
The tiger is nice.
Unknown
rconc
[@2: The tiger is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("tiger" "is" "nice" "+")
The bald eagle does not eat the cat.
Unknown
inv-rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cat" "-")
The tiger sees the cat.
Unknown
random
[@0: The tiger sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "cat" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The cat eats the tiger.
Unknown
random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "+")
@0: The bald eagle does not need the tiger.[(triple5)] The bald eagle eats the tiger.[(triple1)] The bald eagle is nice.[(triple4)] The bald eagle is not big.[(triple2)] The bald eagle is not cold.[(triple3)] The bald eagle sees the tiger.[(triple6 OR ((triple4 triple5) -> rule6))] The cat is young.[(triple7)] The tiger does not need the bald eagle.[(triple10)] The tiger is big.[(triple8)] The tiger is round.[(triple9)] The tiger needs the cat.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The cat eats the cat.[(((triple7) -> rule1))] The tiger eats the cat.[(((triple11) -> rule2))] @2: The cat needs the tiger.[(((((triple11) -> rule2)) -> rule3) OR ((((triple7) -> rule1)) -> rule3))]
The bald eagle does not need the tiger.
("bald eagle" "needs" "tiger" "-")
triple5
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple6
((triple4 triple5) -> (rule6 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The cat is young.
("cat" "is" "young" "+")
triple7
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple7) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
((triple11) -> (rule2 % int1))
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The tiger eats the cat.
("tiger" "eats" "cat" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2