The lion is big. The lion is kind. The lion is young. Round people are blue. If someone is kind and young then they are round.
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and young then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
The lion is young.
True
1
proof
[(triple3)]
("lion" "is" "young" "+")
triple3
The lion is not kind.
False
1
inv-proof
[(triple2)]
("lion" "is" "kind" "-")
triple2
The lion is round.
True
3
proof
[(((triple2 triple3) -> rule2))]
("lion" "is" "round" "+")
((triple2 triple3) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("lion" "is" "round" "-")
((triple2 triple3) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is blue.
True
4
proof
[(((((triple2 triple3) -> rule2)) -> rule1))]
("lion" "is" "blue" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is not blue.
False
4
inv-proof
[(((((triple2 triple3) -> rule2)) -> rule1))]
("lion" "is" "blue" "-")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
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 lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion is big.[(triple1)] The lion is kind.[(triple2)] The lion is young.[(triple3)] @1: The lion is round.[(((triple2 triple3) -> rule2))] @2: The lion is blue.[(((((triple2 triple3) -> rule2)) -> rule1))]
The lion is big.
("lion" "is" "big" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion is round.
("lion" "is" "round" "+")
((triple2 triple3) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2