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