The cat is blue. The cat is young. The tiger chases the cat. The tiger eats the cat. The tiger is not green. The tiger is kind. The tiger does not need the cat. If something eats the tiger and it does not need the tiger then it is kind. If the cat chases the tiger and the cat does not need the tiger then the tiger chases the cat. If something chases the cat and the cat chases the tiger then the tiger chases the cat. If something is nice and kind then it is young. If the tiger is young then the tiger eats the cat. If something eats the cat and it chases the cat then the cat does not chase the tiger. If the cat is blue then the cat eats the tiger. If something is nice and not blue then it chases the cat.
The cat is blue.
("cat" "is" "blue" "+")
The cat is young.
("cat" "is" "young" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is not green.
("tiger" "is" "green" "-")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger does not need the cat.
("tiger" "needs" "cat" "-")
If something eats the tiger and it does not need the tiger then it is kind.
((("something" "eats" "tiger" "+") ("something" "needs" "tiger" "~")) -> ("something" "is" "kind" "+"))
If the cat chases the tiger and the cat does not need the tiger then the tiger chases the cat.
((("cat" "chases" "tiger" "+") ("cat" "needs" "tiger" "~")) -> ("tiger" "chases" "cat" "+"))
If something chases the cat and the cat chases the tiger then the tiger chases the cat.
((("something" "chases" "cat" "+") ("cat" "chases" "tiger" "+")) -> ("tiger" "chases" "cat" "+"))
If something is nice and kind then it is young.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If the tiger is young then the tiger eats the cat.
((("tiger" "is" "young" "+")) -> ("tiger" "eats" "cat" "+"))
If something eats the cat and it chases the cat then the cat does not chase the tiger.
((("something" "eats" "cat" "+") ("something" "chases" "cat" "+")) -> ("cat" "chases" "tiger" "-"))
If the cat is blue then the cat eats the tiger.
((("cat" "is" "blue" "+")) -> ("cat" "eats" "tiger" "+"))
If something is nice and not blue then it chases the cat.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "chases" "cat" "+"))
The tiger eats the cat.
True
1
proof
[(triple4)]
("tiger" "eats" "cat" "+")
triple4
The tiger is green.
False
1
inv-proof
[(triple5)]
("tiger" "is" "green" "+")
triple5
The cat eats the tiger.
True
2
proof
[(((triple1) -> rule7))]
("cat" "eats" "tiger" "+")
((triple1) -> (rule7 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The cat chases the tiger.
False
3
inv-proof
[(((triple4 triple3) -> rule6))]
("cat" "chases" "tiger" "+")
((triple4 triple3) -> (rule6 % int1))
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
int1
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "young" "-")
The cat chases the cat.
Unknown
rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "chases" "cat" "+")
The cat does not need the tiger.
Unknown
inv-random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is young.[(triple2)] The tiger chases the cat.[(triple3)] The tiger does not need the cat.[(triple7)] The tiger eats the cat.[(triple4)] The tiger is kind.[(triple6)] The tiger is not green.[(triple5)] @1: The cat does not chase the tiger.[(((triple4 triple3) -> rule6))] The cat eats the tiger.[(((triple1) -> rule7))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple3
The tiger does not need the cat.
("tiger" "needs" "cat" "-")
triple7
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple4
The tiger is kind.
("tiger" "is" "kind" "+")
triple6
The tiger is not green.
("tiger" "is" "green" "-")
triple5
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
((triple4 triple3) -> (rule6 % int1))
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple1) -> (rule7 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1