The bald eagle is big. The bald eagle likes the cat. The cat likes the rabbit. The cat sees the bald eagle. The cat sees the rabbit. The cow is big. The cow is kind. The cow likes the rabbit. The cow visits the cat. The rabbit is big. The rabbit is kind. The rabbit likes the cat. The rabbit sees the bald eagle. The rabbit sees the cat. The rabbit sees the cow. The rabbit visits the cow. If something is nice then it sees the bald eagle. If something is kind then it is cold. If something is big and it visits the rabbit then the rabbit is kind. If something visits the cat and it is kind then it is young. If something is big then it sees the cat. If something visits the bald eagle then it visits the rabbit.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something is nice then it sees the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is big and it visits the rabbit then the rabbit is kind.
((("something" "is" "big" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If something visits the cat and it is kind then it is young.
((("something" "visits" "cat" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is big then it sees the cat.
((("something" "is" "big" "+")) -> ("something" "sees" "cat" "+"))
If something visits the bald eagle then it visits the rabbit.
((("something" "visits" "bald eagle" "+")) -> ("something" "visits" "rabbit" "+"))
The cow is big.
True
1
proof
[(triple6)]
("cow" "is" "big" "+")
triple6
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The cow is young.
True
3
proof
[(((triple9 triple7) -> rule4))]
("cow" "is" "young" "+")
((triple9 triple7) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The rabbit is not cold.
False
2
inv-proof
[(((triple11) -> rule2))]
("rabbit" "is" "cold" "-")
((triple11) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The cat does not see the cat.
Unknown
inv-rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "sees" "cat" "-")
The cat is young.
Unknown
rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "young" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat likes the rabbit.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat sees the rabbit.[(triple5)] The cow is big.[(triple6)] The cow is kind.[(triple7)] The cow likes the rabbit.[(triple8)] The cow visits the cat.[(triple9)] The rabbit is big.[(triple10)] The rabbit is kind.[(triple11)] The rabbit likes the cat.[(triple12)] The rabbit sees the bald eagle.[(triple13)] The rabbit sees the cat.[(triple14 OR ((triple10) -> rule5))] The rabbit sees the cow.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The bald eagle sees the cat.[(((triple1) -> rule5))] The cow is cold.[(((triple7) -> rule2))] The cow is young.[(((triple9 triple7) -> rule4))] The cow sees the cat.[(((triple6) -> rule5))] The rabbit is cold.[(((triple11) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple4
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple8
The cow visits the cat.
("cow" "visits" "cat" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple12
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple13
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple14
((triple10) -> (rule5 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple15
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple16
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((triple7) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple9 triple7) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
((triple6) -> (rule5 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple11) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1