The cow chases the dog. The cow is round. The dog chases the cow. The dog eats the cow. The dog is rough. The dog is round. The dog is young. The rabbit is round. The rabbit needs the tiger. The tiger chases the rabbit. If something chases the rabbit then it is kind. If something chases the dog then the dog chases the rabbit.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is round.
("cow" "is" "round" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
If something chases the rabbit then it is kind.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "kind" "+"))
If something chases the dog then the dog chases the rabbit.
((("something" "chases" "dog" "+")) -> ("dog" "chases" "rabbit" "+"))
The cow chases the dog.
True
1
proof
[(triple1)]
("cow" "chases" "dog" "+")
triple1
The rabbit does not need the tiger.
False
1
inv-proof
[(triple9)]
("rabbit" "needs" "tiger" "-")
triple9
The tiger is kind.
True
2
proof
[(((triple10) -> rule1))]
("tiger" "is" "kind" "+")
((triple10) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not kind.
False
2
inv-proof
[(((triple10) -> rule1))]
("tiger" "is" "kind" "-")
((triple10) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The dog is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("dog" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog is not kind.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("dog" "is" "kind" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "kind" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "kind" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The tiger eats the rabbit.
Unknown
random
[@0: The tiger eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "rabbit" "+")
The rabbit does not need the dog.
Unknown
inv-random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "-")
The cow needs the rabbit.
Unknown
random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "+")
@0: The cow chases the dog.[(triple1)] The cow is round.[(triple2)] The dog chases the cow.[(triple3)] The dog eats the cow.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7)] The rabbit is round.[(triple8)] The rabbit needs the tiger.[(triple9)] The tiger chases the rabbit.[(triple10)] @1: The dog chases the rabbit.[(((triple1) -> rule2))] The tiger is kind.[(((triple10) -> rule1))] @2: The dog is kind.[(((((triple1) -> rule2)) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The dog chases the cow.
("dog" "chases" "cow" "+")
triple3
The dog eats the cow.
("dog" "eats" "cow" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple9
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple10
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((triple1) -> (rule2 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple10) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2