The bald eagle is rough. The bald eagle is not round. The cow sees the bald eagle. The dog eats the bald eagle. The dog is kind. The dog sees the bald eagle. The dog does not see the cow. The tiger is rough. The tiger is round. The tiger visits the dog. If something is rough then it eats the dog. If something visits the cow and the cow does not see the tiger then the cow is not rough. If something is nice then it is not cold. If something eats the tiger then it is not rough. If something eats the dog then the dog is nice. If something eats the cow and it visits the bald eagle then it does not eat the tiger. If something is kind and it sees the bald eagle then it visits the dog. If something visits the tiger and it is not rough then the tiger is kind.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog does not see the cow.
("dog" "sees" "cow" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If something is rough then it eats the dog.
((("something" "is" "rough" "+")) -> ("something" "eats" "dog" "+"))
If something visits the cow and the cow does not see the tiger then the cow is not rough.
((("something" "visits" "cow" "+") ("cow" "sees" "tiger" "~")) -> ("cow" "is" "rough" "-"))
If something is nice then it is not cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "-"))
If something eats the tiger then it is not rough.
((("something" "eats" "tiger" "+")) -> ("something" "is" "rough" "-"))
If something eats the dog then the dog is nice.
((("something" "eats" "dog" "+")) -> ("dog" "is" "nice" "+"))
If something eats the cow and it visits the bald eagle then it does not eat the tiger.
((("something" "eats" "cow" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "eats" "tiger" "-"))
If something is kind and it sees the bald eagle then it visits the dog.
((("something" "is" "kind" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "visits" "dog" "+"))
If something visits the tiger and it is not rough then the tiger is kind.
((("something" "visits" "tiger" "+") ("something" "is" "rough" "~")) -> ("tiger" "is" "kind" "+"))
The bald eagle is not round.
True
1
proof
[(triple2)]
("bald eagle" "is" "round" "-")
triple2
The dog sees the cow.
False
1
inv-proof
[(triple7)]
("dog" "sees" "cow" "+")
triple7
The tiger eats the dog.
True
2
proof
[(((triple8) -> rule1))]
("tiger" "eats" "dog" "+")
((triple8) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger does not eat the dog.
False
2
inv-proof
[(((triple8) -> rule1))]
("tiger" "eats" "dog" "-")
((triple8) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The dog is nice.
True
3
proof
[(((((triple1) -> rule1)) -> rule5) OR ((((triple8) -> rule1)) -> rule5))]
("dog" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The dog is not nice.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule5) OR ((((triple8) -> rule1)) -> rule5))]
("dog" "is" "nice" "-")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The dog is not cold.
True
4
proof
[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule1)) -> rule5)) -> rule3))]
("dog" "is" "cold" "-")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The dog is cold.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule1)) -> rule5)) -> rule3))]
("dog" "is" "cold" "+")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3
The bald eagle does not visit the dog.
Unknown
inv-rconc
[@1: The bald eagle visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "dog" "-")
The tiger is kind.
Unknown
rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "kind" "+")
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "dog" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The tiger visits the cow.
Unknown
random
[@0: The tiger visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cow" "+")
The tiger does not visit the bald eagle.
Unknown
inv-random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The bald eagle is not round.[(triple2)] The bald eagle is rough.[(triple1)] The cow sees the bald eagle.[(triple3)] The dog does not see the cow.[(triple7)] The dog eats the bald eagle.[(triple4)] The dog is kind.[(triple5)] The dog sees the bald eagle.[(triple6)] The tiger is rough.[(triple8)] The tiger is round.[(triple9)] The tiger visits the dog.[(triple10)] @1: The bald eagle eats the dog.[(((triple1) -> rule1))] The dog visits the dog.[(((triple5 triple6) -> rule7))] The tiger eats the dog.[(((triple8) -> rule1))] @2: The dog is nice.[(((((triple1) -> rule1)) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] @3: The dog is not cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((((((triple8) -> rule1)) -> rule5)) -> rule3))]
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple3
The dog does not see the cow.
("dog" "sees" "cow" "-")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple10
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple5 triple6) -> (rule7 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((triple8) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The dog is not cold.
("dog" "is" "cold" "-")
((((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int3