The bald eagle chases the cat. The bald eagle sees the dog. The cat chases the dog. The cat eats the bald eagle. The cat eats the dog. The cat is red. The cat is round. The cat sees the bald eagle. The cat sees the dog. The dog chases the bald eagle. The dog chases the cat. The dog eats the cat. The dog is kind. The dog is nice. The dog is round. The dog sees the bald eagle. If the cat is nice then the cat eats the bald eagle. If something eats the bald eagle then it eats the dog. If something sees the bald eagle and the bald eagle is red then the bald eagle is nice. If something chases the bald eagle then it sees the dog. If something chases the bald eagle and it sees the bald eagle then the bald eagle sees the dog. If something eats the bald eagle and it sees the cat then it is round. If the cat eats the bald eagle then the bald eagle sees the cat. If something is nice and it sees the dog then it chases the dog.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If the cat is nice then the cat eats the bald eagle.
((("cat" "is" "nice" "+")) -> ("cat" "eats" "bald eagle" "+"))
If something eats the bald eagle then it eats the dog.
((("something" "eats" "bald eagle" "+")) -> ("something" "eats" "dog" "+"))
If something sees the bald eagle and the bald eagle is red then the bald eagle is nice.
((("something" "sees" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "is" "nice" "+"))
If something chases the bald eagle then it sees the dog.
((("something" "chases" "bald eagle" "+")) -> ("something" "sees" "dog" "+"))
If something chases the bald eagle and it sees the bald eagle then the bald eagle sees the dog.
((("something" "chases" "bald eagle" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If something eats the bald eagle and it sees the cat then it is round.
((("something" "eats" "bald eagle" "+") ("something" "sees" "cat" "+")) -> ("something" "is" "round" "+"))
If the cat eats the bald eagle then the bald eagle sees the cat.
((("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
If something is nice and it sees the dog then it chases the dog.
((("something" "is" "nice" "+") ("something" "sees" "dog" "+")) -> ("something" "chases" "dog" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple4)]
("cat" "eats" "bald eagle" "+")
triple4
The bald eagle does not see the dog.
False
1
inv-proof
[(triple2 OR ((triple10 triple16) -> rule5))]
("bald eagle" "sees" "dog" "-")
triple2
((triple10 triple16) -> (rule5 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "round" "-")
The cat chases the bald eagle.
Unknown
random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle sees the dog.[(triple2 OR ((triple10 triple16) -> rule5))] The cat chases the dog.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat eats the dog.[(triple5 OR ((triple4) -> rule2))] The cat is red.[(triple6)] The cat is round.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the dog.[(triple9)] The dog chases the bald eagle.[(triple10)] The dog chases the cat.[(triple11)] The dog eats the cat.[(triple12)] The dog is kind.[(triple13)] The dog is nice.[(triple14)] The dog is round.[(triple15)] The dog sees the bald eagle.[(triple16)] @1: The bald eagle sees the cat.[(((triple4) -> rule7))] The dog sees the dog.[(((triple10) -> rule4))] @2: The dog chases the dog.[(((triple14 ((triple10) -> rule4)) -> rule8))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple2
((triple10 triple16) -> (rule5 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat eats the dog.
("cat" "eats" "dog" "+")
triple5
((triple4) -> (rule2 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is red.
("cat" "is" "red" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple8
The cat sees the dog.
("cat" "sees" "dog" "+")
triple9
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple10
The dog chases the cat.
("dog" "chases" "cat" "+")
triple11
The dog eats the cat.
("dog" "eats" "cat" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
triple13
The dog is nice.
("dog" "is" "nice" "+")
triple14
The dog is round.
("dog" "is" "round" "+")
triple15
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple16
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((triple4) -> (rule7 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple10) -> (rule4 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple14 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2