The lion is kind. All blue things are young. Kind things are young. Kind things are blue. Young, kind things are red. If something is young and not red then it is round. Red things are round. All red, young things are round. If the lion is kind and the lion is not young then the lion is round.
The lion is kind.
("lion" "is" "kind" "+")
All blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Young, kind things are red.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is young and not red then it is round.
((("something" "is" "young" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "+"))
Red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All red, young things are round.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If the lion is kind and the lion is not young then the lion is round.
((("lion" "is" "kind" "+") ("lion" "is" "young" "~")) -> ("lion" "is" "round" "+"))
The lion is kind.
True
1
proof
[(triple1)]
("lion" "is" "kind" "+")
triple1
The lion is not kind.
False
1
inv-proof
[(triple1)]
("lion" "is" "kind" "-")
triple1
The lion is blue.
True
2
proof
[(((triple1) -> rule3))]
("lion" "is" "blue" "+")
((triple1) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple1) -> rule2) OR ((((triple1) -> rule3)) -> rule1))]
("lion" "is" "young" "-")
((triple1) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is red.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule4) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule4))]
("lion" "is" "red" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion is not red.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule4) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule4))]
("lion" "is" "red" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion is round.
True
5
proof
[(((((((triple1) -> rule2) triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule2) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule2) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7))]
("lion" "is" "round" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((((triple1) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((((triple1) -> (rule3 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2)) ((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
The lion is not round.
False
5
inv-proof
[(((((((triple1) -> rule2) triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule2) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule2) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7))]
("lion" "is" "round" "-")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((((triple1) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((((triple1) -> (rule3 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2)) ((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
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 visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The lion is kind.[(triple1)] @1: The lion is blue.[(((triple1) -> rule3))] The lion is young.[(((triple1) -> rule2) OR ((((triple1) -> rule3)) -> rule1))] @2: The lion is red.[(((((triple1) -> rule2) triple1) -> rule4) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule4))] @3: The lion is round.[(((((((triple1) -> rule2) triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule2) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule2) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((triple1) -> rule2)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule4) ((((triple1) -> rule3)) -> rule1)) -> rule7))]
The lion is kind.
("lion" "is" "kind" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
((triple1) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is young.
("lion" "is" "young" "+")
((triple1) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is red.
("lion" "is" "red" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion is round.
("lion" "is" "round" "+")
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
((((((triple1) -> (rule2 % int4)) triple1) -> (rule4 % int3)) ((((triple1) -> (rule3 % int2))) -> (rule1 % int4))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is red.
("lion" "is" "red" "+")
int3
The lion is young.
("lion" "is" "young" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2)) ((triple1) -> (rule2 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4
((((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2)) ((((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is blue.
("lion" "is" "blue" "+")
int4