The cat is round. The dog needs the tiger. The rabbit is nice. The tiger eats the rabbit. If something needs the cat and the cat is rough then it is blue. Round things are green.
The cat is round.
("cat" "is" "round" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
If something needs the cat and the cat is rough then it is blue.
((("something" "needs" "cat" "+") ("cat" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
The cat is round.
True
1
proof
[(triple1)]
("cat" "is" "round" "+")
triple1
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
triple3
The cat is green.
True
2
proof
[(((triple1) -> rule2))]
("cat" "is" "green" "+")
((triple1) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple1) -> rule2))]
("cat" "is" "green" "-")
((triple1) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "-")
The dog is blue.
Unknown
rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is round.[(triple1)] The dog needs the tiger.[(triple2)] The rabbit is nice.[(triple3)] The tiger eats the rabbit.[(triple4)] @1: The cat is green.[(((triple1) -> rule2))]
The cat is round.
("cat" "is" "round" "+")
triple1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
((triple1) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1