The bald eagle eats the dog. The bald eagle does not eat the lion. The dog chases the bald eagle. The dog chases the lion. The dog is red. The lion chases the rabbit. The lion eats the bald eagle. The lion eats the dog. The lion is cold. The lion sees the bald eagle. The lion sees the dog. The rabbit chases the lion. The rabbit does not eat the dog. The rabbit is nice. The rabbit sees the bald eagle. The rabbit sees the dog. If something sees the dog then it is blue. If something is blue then it is nice.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is red.
("dog" "is" "red" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If something sees the dog then it is blue.
((("something" "sees" "dog" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple10)]
("lion" "sees" "bald eagle" "+")
triple10
The lion is not cold.
False
1
inv-proof
[(triple9)]
("lion" "is" "cold" "-")
triple9
The rabbit is blue.
True
2
proof
[(((triple16) -> rule1))]
("rabbit" "is" "blue" "+")
((triple16) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple16) -> rule1))]
("rabbit" "is" "blue" "-")
((triple16) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The lion is nice.
True
3
proof
[(((((triple11) -> rule1)) -> rule2))]
("lion" "is" "nice" "+")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is not nice.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule2))]
("lion" "is" "nice" "-")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "-")
The dog is nice.
Unknown
rconc
[@2: The dog is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "is" "nice" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bald eagle does not eat the lion.[(triple2)] The bald eagle eats the dog.[(triple1)] The dog chases the bald eagle.[(triple3)] The dog chases the lion.[(triple4)] The dog is red.[(triple5)] The lion chases the rabbit.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the dog.[(triple8)] The lion is cold.[(triple9)] The lion sees the bald eagle.[(triple10)] The lion sees the dog.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit does not eat the dog.[(triple13)] The rabbit is nice.[(triple14 OR ((((triple16) -> rule1)) -> rule2))] The rabbit sees the bald eagle.[(triple15)] The rabbit sees the dog.[(triple16)] @1: The lion is blue.[(((triple11) -> rule1))] The rabbit is blue.[(((triple16) -> rule1))] @2: The lion is nice.[(((((triple11) -> rule1)) -> rule2))]
The bald eagle does not eat the lion.
("bald eagle" "eats" "lion" "-")
triple2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The dog chases the lion.
("dog" "chases" "lion" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion eats the dog.
("lion" "eats" "dog" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple10
The lion sees the dog.
("lion" "sees" "dog" "+")
triple11
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple12
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
((((triple16) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple15
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple16
The lion is blue.
("lion" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple16) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2