The bald eagle likes the cat. The bald eagle visits the cat. The cat is young. The cat needs the rabbit. The cat visits the bald eagle. The cat visits the rabbit. The cat visits the tiger. The rabbit is nice. The rabbit needs the tiger. The rabbit visits the cat. The rabbit visits the tiger. The tiger likes the cat. If something is blue then it needs the bald eagle. If something is nice then it is rough. If something needs the rabbit then the rabbit is cold. Cold things are young. If something needs the tiger then the tiger likes the rabbit. If something needs the rabbit and it is rough then it is blue. If something is blue then it visits the cat. If the bald eagle likes the rabbit then the rabbit visits the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is young.
("cat" "is" "young" "+")
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 cat visits the tiger.
("cat" "visits" "tiger" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If something is blue then it needs the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "needs" "bald eagle" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something needs the rabbit then the rabbit is cold.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something needs the tiger then the tiger likes the rabbit.
((("something" "needs" "tiger" "+")) -> ("tiger" "likes" "rabbit" "+"))
If something needs the rabbit and it is rough then it is blue.
((("something" "needs" "rabbit" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it visits the cat.
((("something" "is" "blue" "+")) -> ("something" "visits" "cat" "+"))
If the bald eagle likes the rabbit then the rabbit visits the bald eagle.
((("bald eagle" "likes" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
The cat needs the rabbit.
True
1
proof
[(triple4)]
("cat" "needs" "rabbit" "+")
triple4
The cat does not need the rabbit.
False
1
inv-proof
[(triple4)]
("cat" "needs" "rabbit" "-")
triple4
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "blue" "-")
The rabbit likes the tiger.
Unknown
random
[@0: The rabbit likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "tiger" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat is young.[(triple3)] The cat needs the rabbit.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the rabbit.[(triple6)] The cat visits the tiger.[(triple7)] The rabbit is nice.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit visits the cat.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger likes the cat.[(triple12)] @1: The rabbit is cold.[(((triple4) -> rule3))] The rabbit is rough.[(((triple8) -> rule2))] The tiger likes the rabbit.[(((triple9) -> rule5))] @2: The rabbit is young.[(((((triple4) -> rule3)) -> rule4))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
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 cat visits the tiger.
("cat" "visits" "tiger" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple9
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple10
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple11
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple4) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple8) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
((triple9) -> (rule5 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2