The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is blue. The lion is nice. The lion sees the rabbit. The rabbit chases the lion. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is nice. The rabbit sees the lion. If someone sees the rabbit and the rabbit chases the lion then the lion is kind. If someone is blue and kind then they see the lion.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If someone sees the rabbit and the rabbit chases the lion then the lion is kind.
((("someone" "sees" "rabbit" "+") ("rabbit" "chases" "lion" "+")) -> ("lion" "is" "kind" "+"))
If someone is blue and kind then they see the lion.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "lion" "+"))
The rabbit is nice.
True
1
proof
[(triple11)]
("rabbit" "is" "nice" "+")
triple11
The rabbit does not see the lion.
False
1
inv-proof
[(triple12 OR ((triple9 triple10) -> rule2))]
("rabbit" "sees" "lion" "-")
triple12
((triple9 triple10) -> (rule2 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion is kind.
True
3
proof
[(((triple6 triple7) -> rule1))]
("lion" "is" "kind" "+")
((triple6 triple7) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is not kind.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("lion" "is" "kind" "-")
((triple6 triple7) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion sees the lion.
True
5
proof
[(((triple4 ((triple6 triple7) -> rule1)) -> rule2))]
("lion" "sees" "lion" "+")
((triple4 ((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion does not see the lion.
False
5
inv-proof
[(((triple4 ((triple6 triple7) -> rule1)) -> rule2))]
("lion" "sees" "lion" "-")
((triple4 ((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The rabbit eats the lion.
Unknown
random
[@0: The rabbit eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "lion" "+")
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is nice.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit is big.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is nice.[(triple11)] The rabbit sees the lion.[(triple12 OR ((triple9 triple10) -> rule2))] @1: The lion is kind.[(((triple6 triple7) -> rule1))] @2: The lion sees the lion.[(((triple4 ((triple6 triple7) -> rule1)) -> rule2))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple12
((triple9 triple10) -> (rule2 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple6 triple7) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
((triple4 ((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2