The bald eagle chases the rabbit. The cat visits the dog. The dog is cold. The rabbit visits the cat. If something is big then it likes the dog. If something chases the rabbit then the rabbit likes the cat. If something likes the bald eagle then it is round. If something is cold then it likes the bald eagle. If the bald eagle visits the rabbit then the bald eagle chases the rabbit. If something is round then it likes the bald eagle. If something visits the dog then it is young. If something likes the bald eagle and it is round then it is big.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something is big then it likes the dog.
((("something" "is" "big" "+")) -> ("something" "likes" "dog" "+"))
If something chases the rabbit then the rabbit likes the cat.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "likes" "cat" "+"))
If something likes the bald eagle then it is round.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something is cold then it likes the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "likes" "bald eagle" "+"))
If the bald eagle visits the rabbit then the bald eagle chases the rabbit.
((("bald eagle" "visits" "rabbit" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If something is round then it likes the bald eagle.
((("something" "is" "round" "+")) -> ("something" "likes" "bald eagle" "+"))
If something visits the dog then it is young.
((("something" "visits" "dog" "+")) -> ("something" "is" "young" "+"))
If something likes the bald eagle and it is round then it is big.
((("something" "likes" "bald eagle" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
The rabbit visits the cat.
True
1
proof
[(triple4)]
("rabbit" "visits" "cat" "+")
triple4
The dog is not cold.
False
1
inv-proof
[(triple3)]
("dog" "is" "cold" "-")
triple3
The dog likes the bald eagle.
True
2
proof
[(((triple3) -> rule4))]
("dog" "likes" "bald eagle" "+")
((triple3) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The rabbit does not like the cat.
False
2
inv-proof
[(((triple1) -> rule2))]
("rabbit" "likes" "cat" "-")
((triple1) -> (rule2 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The dog is round.
True
3
proof
[(((((triple3) -> rule4)) -> rule3))]
("dog" "is" "round" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog is not round.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule3))]
("dog" "is" "round" "-")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog is big.
True
6
proof
[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule8))]
("dog" "is" "big" "+")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog is not big.
False
6
inv-proof
[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule8))]
("dog" "is" "big" "-")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "young" "-")
The cat likes the dog.
Unknown
rconc
[@4: The cat likes the dog.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule3 <- rule4 <- FAIL)]]
("cat" "likes" "dog" "+")
The rabbit is not big.
Unknown
inv-rconc
[@3: The rabbit is big.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule4 <- FAIL)]]
("rabbit" "is" "big" "-")
The bald eagle is round.
Unknown
rconc
[@2: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
The cat does not visit the rabbit.
Unknown
inv-random
[@0: The cat visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "rabbit" "-")
The rabbit chases the dog.
Unknown
random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The cat visits the dog.[(triple2)] The dog is cold.[(triple3)] The rabbit visits the cat.[(triple4)] @1: The cat is young.[(((triple2) -> rule7))] The dog likes the bald eagle.[(((triple3) -> rule4))] The rabbit likes the cat.[(((triple1) -> rule2))] @2: The dog is round.[(((((triple3) -> rule4)) -> rule3))] @3: The dog is big.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule8))] @4: The dog likes the dog.[(((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule8)) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The cat visits the dog.
("cat" "visits" "dog" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule7 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((triple3) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
((triple1) -> (rule2 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog likes the dog.
("dog" "likes" "dog" "+")
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int4