The bald eagle does not chase the dog. The bald eagle chases the rabbit. The bald eagle sees the dog. The bald eagle sees the rabbit. The bald eagle sees the tiger. The dog chases the rabbit. The dog is not kind. The dog does not see the tiger. The dog does not visit the bald eagle. The rabbit chases the bald eagle. The rabbit chases the dog. The rabbit is nice. The rabbit is round. The rabbit sees the tiger. The tiger chases the rabbit. The tiger does not visit the bald eagle. If someone sees the tiger then they are red. If the rabbit is big and the rabbit is not nice then the rabbit sees the dog. If someone is red and they chase the rabbit then they see the bald eagle. If the dog sees the tiger then the dog visits the bald eagle. If someone is round and they do not visit the dog then the dog chases the tiger. If someone chases the tiger and the tiger is big then the tiger is not kind.
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
If someone sees the tiger then they are red.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "red" "+"))
If the rabbit is big and the rabbit is not nice then the rabbit sees the dog.
((("rabbit" "is" "big" "+") ("rabbit" "is" "nice" "~")) -> ("rabbit" "sees" "dog" "+"))
If someone is red and they chase the rabbit then they see the bald eagle.
((("someone" "is" "red" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the dog sees the tiger then the dog visits the bald eagle.
((("dog" "sees" "tiger" "+")) -> ("dog" "visits" "bald eagle" "+"))
If someone is round and they do not visit the dog then the dog chases the tiger.
((("someone" "is" "round" "+") ("someone" "visits" "dog" "~")) -> ("dog" "chases" "tiger" "+"))
If someone chases the tiger and the tiger is big then the tiger is not kind.
((("someone" "chases" "tiger" "+") ("tiger" "is" "big" "+")) -> ("tiger" "is" "kind" "-"))
The rabbit chases the dog.
True
1
proof
[(triple11)]
("rabbit" "chases" "dog" "+")
triple11
The bald eagle does not see the rabbit.
False
1
inv-proof
[(triple4)]
("bald eagle" "sees" "rabbit" "-")
triple4
The bald eagle is red.
True
2
proof
[(((triple5) -> rule1))]
("bald eagle" "is" "red" "+")
((triple5) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "is" "red" "-")
((triple5) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bald eagle.
True
4
proof
[(((((triple5) -> rule1) triple2) -> rule3))]
("bald eagle" "sees" "bald eagle" "+")
((((triple5) -> (rule1 % int2)) triple2) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle does not see the bald eagle.
False
4
inv-proof
[(((((triple5) -> rule1) triple2) -> rule3))]
("bald eagle" "sees" "bald eagle" "-")
((((triple5) -> (rule1 % int2)) triple2) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "red" "-")
The dog chases the tiger.
Unknown
rconc
[@1: The dog chases the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "tiger" "+")
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The bald eagle chases the rabbit.[(triple2)] The bald eagle does not chase the dog.[(triple1)] The bald eagle sees the dog.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bald eagle sees the tiger.[(triple5)] The dog chases the rabbit.[(triple6)] The dog does not see the tiger.[(triple8)] The dog does not visit the bald eagle.[(triple9)] The dog is not kind.[(triple7)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is round.[(triple13)] The rabbit sees the tiger.[(triple14)] The tiger chases the rabbit.[(triple15)] The tiger does not visit the bald eagle.[(triple16)] @1: The bald eagle is red.[(((triple5) -> rule1))] The rabbit is red.[(((triple14) -> rule1))] @2: The bald eagle sees the bald eagle.[(((((triple5) -> rule1) triple2) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple6
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
triple8
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple9
The dog is not kind.
("dog" "is" "kind" "-")
triple7
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple14
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple15
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple16
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple5) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple14) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((triple5) -> (rule1 % int2)) triple2) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2