The cow chases the rabbit. The cow is nice. The cow sees the rabbit. The rabbit chases the cow. The rabbit sees the cow. The rabbit sees the tiger. The tiger chases the cow. The tiger chases the rabbit. The tiger is nice. The tiger is rough. The tiger is round. The tiger likes the cow. The tiger likes the rabbit. The tiger sees the cow. The tiger sees the rabbit. If someone is young then they see the tiger. If someone sees the cow then they chase the tiger. If someone likes the tiger and they chase the tiger then they are nice.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If someone is young then they see the tiger.
((("someone" "is" "young" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the cow then they chase the tiger.
((("someone" "sees" "cow" "+")) -> ("someone" "chases" "tiger" "+"))
If someone likes the tiger and they chase the tiger then they are nice.
((("someone" "likes" "tiger" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "is" "nice" "+"))
The cow sees the rabbit.
True
1
proof
[(triple3)]
("cow" "sees" "rabbit" "+")
triple3
The tiger does not chase the rabbit.
False
1
inv-proof
[(triple8)]
("tiger" "chases" "rabbit" "-")
triple8
The rabbit chases the tiger.
True
2
proof
[(((triple5) -> rule2))]
("rabbit" "chases" "tiger" "+")
((triple5) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit does not chase the tiger.
False
2
inv-proof
[(((triple5) -> rule2))]
("rabbit" "chases" "tiger" "-")
((triple5) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The cow does not chase the tiger.
Unknown
inv-rconc
[@1: The cow chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "tiger" "-")
The cow sees the tiger.
Unknown
rconc
[@1: The cow sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "tiger" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The cow chases the rabbit.[(triple1)] The cow is nice.[(triple2)] The cow sees the rabbit.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit sees the cow.[(triple5)] The rabbit sees the tiger.[(triple6)] The tiger chases the cow.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger is nice.[(triple9)] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger likes the cow.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger sees the cow.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The rabbit chases the tiger.[(((triple5) -> rule2))] The tiger chases the tiger.[(((triple14) -> rule2))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple3
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple4
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple5
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple6
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple7
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple12
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple13
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple14
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple15
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
((triple5) -> (rule2 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple14) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1