The lion does not chase the rabbit. The lion is not cold. The lion is not kind. The lion is nice. The lion is not red. The lion is round. The lion needs the rabbit. The lion sees the rabbit. The rabbit chases the lion. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit needs the lion. The rabbit sees the lion. If something sees the rabbit and it does not see the lion then it chases the lion. If something is cold then it is nice. If the rabbit sees the lion and the rabbit chases the lion then the rabbit is kind.
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion is round.
("lion" "is" "round" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If something sees the rabbit and it does not see the lion then it chases the lion.
((("something" "sees" "rabbit" "+") ("something" "sees" "lion" "~")) -> ("something" "chases" "lion" "+"))
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If the rabbit sees the lion and the rabbit chases the lion then the rabbit is kind.
((("rabbit" "sees" "lion" "+") ("rabbit" "chases" "lion" "+")) -> ("rabbit" "is" "kind" "+"))
The rabbit chases the lion.
True
1
proof
[(triple9)]
("rabbit" "chases" "lion" "+")
triple9
The lion is red.
False
1
inv-proof
[(triple5)]
("lion" "is" "red" "+")
triple5
The rabbit is nice.
True
2
proof
[(((triple10) -> rule2))]
("rabbit" "is" "nice" "+")
((triple10) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple10) -> rule2))]
("rabbit" "is" "nice" "-")
((triple10) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The lion does not chase the rabbit.[(triple1)] The lion is nice.[(triple4)] The lion is not cold.[(triple2)] The lion is not kind.[(triple3)] The lion is not red.[(triple5)] The lion is round.[(triple6)] The lion needs the rabbit.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is kind.[(triple11 OR ((triple15 triple9) -> rule3))] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The rabbit is nice.[(((triple10) -> rule2))]
The lion does not chase the rabbit.
("lion" "chases" "rabbit" "-")
triple1
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is not cold.
("lion" "is" "cold" "-")
triple2
The lion is not kind.
("lion" "is" "kind" "-")
triple3
The lion is not red.
("lion" "is" "red" "-")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple7
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple8
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
((triple15 triple9) -> (rule3 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple14
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple15
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple10) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1