The cat chases the dog. The cat is young. The cat does not see the dog. The dog chases the rabbit. The dog sees the cat. The rabbit is kind. The rabbit is young. If something needs the rabbit then it needs the cat. If the cat chases the rabbit then the cat is blue. If something needs the rabbit then the rabbit chases the cat. If the rabbit needs the cat and the rabbit chases the cat then the rabbit is kind. If something chases the rabbit then it chases the cat. If something chases the cat then it is blue. All young things are not rough. If something needs the cat and it chases the dog then it sees the rabbit.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat is young.
("cat" "is" "young" "+")
The cat does not see the dog.
("cat" "sees" "dog" "-")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something needs the rabbit then it needs the cat.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "cat" "+"))
If the cat chases the rabbit then the cat is blue.
((("cat" "chases" "rabbit" "+")) -> ("cat" "is" "blue" "+"))
If something needs the rabbit then the rabbit chases the cat.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "chases" "cat" "+"))
If the rabbit needs the cat and the rabbit chases the cat then the rabbit is kind.
((("rabbit" "needs" "cat" "+") ("rabbit" "chases" "cat" "+")) -> ("rabbit" "is" "kind" "+"))
If something chases the rabbit then it chases the cat.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "cat" "+"))
If something chases the cat then it is blue.
((("something" "chases" "cat" "+")) -> ("something" "is" "blue" "+"))
All young things are not rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "-"))
If something needs the cat and it chases the dog then it sees the rabbit.
((("something" "needs" "cat" "+") ("something" "chases" "dog" "+")) -> ("something" "sees" "rabbit" "+"))
The rabbit is kind.
True
1
proof
[(triple6)]
("rabbit" "is" "kind" "+")
triple6
The cat is not young.
False
1
inv-proof
[(triple2)]
("cat" "is" "young" "-")
triple2
The cat is not rough.
True
2
proof
[(((triple2) -> rule7))]
("cat" "is" "rough" "-")
((triple2) -> (rule7 % int1))
The cat is not rough.
("cat" "is" "rough" "-")
int1
The rabbit is rough.
False
2
inv-proof
[(((triple7) -> rule7))]
("rabbit" "is" "rough" "+")
((triple7) -> (rule7 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1
The dog is blue.
True
3
proof
[(((((triple4) -> rule5)) -> rule6))]
("dog" "is" "blue" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The dog is not blue.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule6))]
("dog" "is" "blue" "-")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cat does not see the rabbit.
Unknown
inv-rconc
[@2: The cat sees the rabbit.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("cat" "sees" "rabbit" "-")
The rabbit chases the cat.
Unknown
rconc
[@1: The rabbit chases the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "cat" "+")
The rabbit is not blue.
Unknown
inv-rconc
[@2: The rabbit is blue.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("rabbit" "is" "blue" "-")
The cat chases the rabbit.
Unknown
random
[@0: The cat chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "rabbit" "+")
The cat does not need the rabbit.
Unknown
inv-random
[@0: The cat needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The cat chases the dog.[(triple1)] The cat does not see the dog.[(triple3)] The cat is young.[(triple2)] The dog chases the rabbit.[(triple4)] The dog sees the cat.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is young.[(triple7)] @1: The cat is not rough.[(((triple2) -> rule7))] The dog chases the cat.[(((triple4) -> rule5))] The rabbit is not rough.[(((triple7) -> rule7))] @2: The dog is blue.[(((((triple4) -> rule5)) -> rule6))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat does not see the dog.
("cat" "sees" "dog" "-")
triple3
The cat is young.
("cat" "is" "young" "+")
triple2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple4
The dog sees the cat.
("dog" "sees" "cat" "+")
triple5
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The cat is not rough.
("cat" "is" "rough" "-")
((triple2) -> (rule7 % int1))
The cat is not rough.
("cat" "is" "rough" "-")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple4) -> (rule5 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The rabbit is not rough.
("rabbit" "is" "rough" "-")
((triple7) -> (rule7 % int1))
The rabbit is not rough.
("rabbit" "is" "rough" "-")
int1
The dog is blue.
("dog" "is" "blue" "+")
((((triple4) -> (rule5 % int2))) -> (rule6 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2