The cat eats the rabbit. The cat is not kind. The cat is nice. The cat is round. The cat needs the rabbit. The cat sees the rabbit. The rabbit eats the cat. The rabbit is not kind. The rabbit is nice. The rabbit is not red. The rabbit does not need the cat. The rabbit sees the cat. If the cat needs the rabbit then the cat is rough. If someone eats the cat and they are not rough then the cat is not kind.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If the cat needs the rabbit then the cat is rough.
((("cat" "needs" "rabbit" "+")) -> ("cat" "is" "rough" "+"))
If someone eats the cat and they are not rough then the cat is not kind.
((("someone" "eats" "cat" "+") ("someone" "is" "rough" "~")) -> ("cat" "is" "kind" "-"))
The cat eats the rabbit.
True
1
proof
[(triple1)]
("cat" "eats" "rabbit" "+")
triple1
The cat is not round.
False
1
inv-proof
[(triple4)]
("cat" "is" "round" "-")
triple4
The cat is rough.
True
2
proof
[(((triple5) -> rule1))]
("cat" "is" "rough" "+")
((triple5) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "is" "rough" "-")
((triple5) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
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 eats the rabbit.[(triple1)] The cat is nice.[(triple3)] The cat is not kind.[(triple2)] The cat is round.[(triple4)] The cat needs the rabbit.[(triple5)] The cat sees the rabbit.[(triple6)] The rabbit does not need the cat.[(triple11)] The rabbit eats the cat.[(triple7)] The rabbit is nice.[(triple9)] The rabbit is not kind.[(triple8)] The rabbit is not red.[(triple10)] The rabbit sees the cat.[(triple12)] @1: The cat is rough.[(((triple5) -> rule1))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is not kind.
("cat" "is" "kind" "-")
triple2
The cat is round.
("cat" "is" "round" "+")
triple4
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple5
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple6
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple8
The rabbit is not red.
("rabbit" "is" "red" "-")
triple10
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12
The cat is rough.
("cat" "is" "rough" "+")
((triple5) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1