The cow eats the rabbit. The cow eats the tiger. The cow is not rough. The cow needs the rabbit. The rabbit needs the cow. The rabbit does not need the tiger. The rabbit visits the cow. The tiger eats the rabbit. The tiger is rough. The tiger needs the rabbit. Rough people are nice.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
Rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
The tiger is rough.
True
1
proof
[(triple9)]
("tiger" "is" "rough" "+")
triple9
The rabbit needs the tiger.
False
1
inv-proof
[(triple6)]
("rabbit" "needs" "tiger" "+")
triple6
The tiger is nice.
True
2
proof
[(((triple9) -> rule1))]
("tiger" "is" "nice" "+")
((triple9) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not nice.
False
2
inv-proof
[(((triple9) -> rule1))]
("tiger" "is" "nice" "-")
((triple9) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The cow eats the rabbit.[(triple1)] The cow eats the tiger.[(triple2)] The cow is not rough.[(triple3)] The cow needs the rabbit.[(triple4)] The rabbit does not need the tiger.[(triple6)] The rabbit needs the cow.[(triple5)] The rabbit visits the cow.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The tiger is nice.[(((triple9) -> rule1))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple2
The cow is not rough.
("cow" "is" "rough" "-")
triple3
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple4
The rabbit does not need the tiger.
("rabbit" "needs" "tiger" "-")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple5
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple7
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
((triple9) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1