The dog does not chase the rabbit. The dog chases the tiger. The dog is not cold. The dog is kind. The dog is young. The rabbit does not eat the tiger. The rabbit is not cold. The rabbit likes the dog. The rabbit likes the tiger. The tiger chases the rabbit. The tiger eats the dog. The tiger is kind. If someone chases the rabbit and they are red then they are young. If someone likes the tiger then the tiger is red.
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone chases the rabbit and they are red then they are young.
((("someone" "chases" "rabbit" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone likes the tiger then the tiger is red.
((("someone" "likes" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The dog is kind.
True
1
proof
[(triple4)]
("dog" "is" "kind" "+")
triple4
The rabbit does not like the dog.
False
1
inv-proof
[(triple8)]
("rabbit" "likes" "dog" "-")
triple8
The tiger is red.
True
2
proof
[(((triple9) -> rule2))]
("tiger" "is" "red" "+")
((triple9) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not red.
False
2
inv-proof
[(((triple9) -> rule2))]
("tiger" "is" "red" "-")
((triple9) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is young.
True
4
proof
[(((triple10 ((triple9) -> rule2)) -> rule1))]
("tiger" "is" "young" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is not young.
False
4
inv-proof
[(((triple10 ((triple9) -> rule2)) -> rule1))]
("tiger" "is" "young" "-")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "-")
The dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
The rabbit does not eat the dog.
Unknown
inv-random
[@0: The rabbit eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The rabbit does not chase the dog.
Unknown
inv-random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "-")
The tiger chases the dog.
Unknown
random
[@0: The tiger chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "dog" "+")
@0: The dog chases the tiger.[(triple2)] The dog does not chase the rabbit.[(triple1)] The dog is kind.[(triple4)] The dog is not cold.[(triple3)] The dog is young.[(triple5)] The rabbit does not eat the tiger.[(triple6)] The rabbit is not cold.[(triple7)] The rabbit likes the dog.[(triple8)] The rabbit likes the tiger.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger eats the dog.[(triple11)] The tiger is kind.[(triple12)] @1: The tiger is red.[(((triple9) -> rule2))] @2: The tiger is young.[(((triple10 ((triple9) -> rule2)) -> rule1))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is not cold.
("dog" "is" "cold" "-")
triple3
The dog is young.
("dog" "is" "young" "+")
triple5
The rabbit does not eat the tiger.
("rabbit" "eats" "tiger" "-")
triple6
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple7
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple8
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple9
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple10
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
((triple9) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2