The bald eagle does not eat the tiger. The bald eagle is not kind. The bald eagle sees the dog. The bald eagle sees the tiger. The bald eagle visits the dog. The bald eagle visits the tiger. The dog eats the bald eagle. The dog is cold. The dog is not young. The dog sees the tiger. The dog visits the tiger. The tiger sees the bald eagle. If someone visits the dog then they are not cold. If someone is red then they see the tiger.
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone visits the dog then they are not cold.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "cold" "-"))
If someone is red then they see the tiger.
((("someone" "is" "red" "+")) -> ("someone" "sees" "tiger" "+"))
The bald eagle does not eat the tiger.
True
1
proof
[(triple1)]
("bald eagle" "eats" "tiger" "-")
triple1
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "eats" "bald eagle" "-")
triple7
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger sees the dog.
Unknown
random
[@0: The tiger sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "dog" "+")
@0: The bald eagle does not eat the tiger.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle sees the tiger.[(triple4)] The bald eagle visits the dog.[(triple5)] The bald eagle visits the tiger.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is cold.[(triple8)] The dog is not young.[(triple9)] The dog sees the tiger.[(triple10)] The dog visits the tiger.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle is not cold.[(((triple5) -> rule1))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple6
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is not young.
("dog" "is" "young" "-")
triple9
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple10
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((triple5) -> (rule1 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1