The bald eagle is kind. The bald eagle is red. The bald eagle likes the cat. The cat chases the rabbit. The cat does not chase the tiger. The cat is red. The cat is round. The cat likes the rabbit. The cat visits the rabbit. The rabbit likes the bald eagle. The rabbit visits the cat. The tiger chases the rabbit. If someone chases the rabbit then they are nice. Nice people are kind.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
If someone chases the rabbit then they are nice.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "nice" "+"))
Nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
The tiger chases the rabbit.
True
1
proof
[(triple12)]
("tiger" "chases" "rabbit" "+")
triple12
The cat does not visit the rabbit.
False
1
inv-proof
[(triple9)]
("cat" "visits" "rabbit" "-")
triple9
The cat is nice.
True
2
proof
[(((triple4) -> rule1))]
("cat" "is" "nice" "+")
((triple4) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not nice.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "is" "nice" "-")
((triple4) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is kind.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("cat" "is" "kind" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The tiger is not kind.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule2))]
("tiger" "is" "kind" "-")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The rabbit is kind.
Unknown
rconc
[@2: The rabbit is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("rabbit" "is" "kind" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "-")
The cat visits the bald eagle.
Unknown
random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the cat.[(triple3)] The cat chases the rabbit.[(triple4)] The cat does not chase the tiger.[(triple5)] The cat is red.[(triple6)] The cat is round.[(triple7)] The cat likes the rabbit.[(triple8)] The cat visits the rabbit.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit visits the cat.[(triple11)] The tiger chases the rabbit.[(triple12)] @1: The cat is nice.[(((triple4) -> rule1))] The tiger is nice.[(((triple12) -> rule1))] @2: The cat is kind.[(((((triple4) -> rule1)) -> rule2))] The tiger is kind.[(((((triple12) -> rule1)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple4
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple11
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple12
The cat is nice.
("cat" "is" "nice" "+")
((triple4) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple12) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2