The bald eagle is cold. The bald eagle visits the rabbit. The cat chases the rabbit. The cat needs the rabbit. The cat visits the bald eagle. The cat visits the rabbit. The rabbit chases the cat. The rabbit chases the squirrel. The rabbit needs the cat. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel needs the bald eagle. If someone visits the rabbit then the rabbit is cold. All round people are kind.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone visits the rabbit then the rabbit is cold.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
The rabbit chases the cat.
True
1
proof
[(triple7)]
("rabbit" "chases" "cat" "+")
triple7
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple12)]
("squirrel" "needs" "bald eagle" "-")
triple12
The rabbit is cold.
True
2
proof
[(((triple2) -> rule1) OR ((triple6) -> rule1))]
("rabbit" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple6) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple6) -> rule1))]
("rabbit" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple6) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The squirrel is not kind.
Unknown
inv-rconc
[@1: The squirrel is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "kind" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "kind" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The cat needs the bald eagle.
Unknown
random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The cat chases the rabbit.[(triple3)] The cat needs the rabbit.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the rabbit.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit needs the cat.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The rabbit is cold.[(((triple2) -> rule1) OR ((triple6) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple3
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple6
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple7
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple8
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple10
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple6) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1