Anne is big. Anne is kind. Anne is quiet. Anne is rough. Charlie is green. Charlie is smart. Erin is quiet. Erin is white. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. If Erin is green and Erin is rough then Erin is smart. If Charlie is big then Charlie is white. If something is green and big then it is rough. All quiet, smart things are kind. If something is rough then it is quiet. Green things are big. White, big things are quiet. Quiet things are green. If Anne is big then Anne is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Erin is green and Erin is rough then Erin is smart.
((("Erin" "is" "green" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "smart" "+"))
If Charlie is big then Charlie is white.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "white" "+"))
If something is green and big then it is rough.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All quiet, smart things are kind.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
White, big things are quiet.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Anne is big then Anne is kind.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "kind" "+"))
Charlie is smart.
True
1
proof
[(triple6)]
("Charlie" "is" "smart" "+")
triple6
Anne is not kind.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule9) OR ((((((triple3) -> rule8)) -> rule6)) -> rule9) OR ((((((((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9))]
("Anne" "is" "kind" "-")
triple2
((triple1) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((((triple3) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((((triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is green.
True
2
proof
[(((triple3) -> rule8) OR ((((triple4) -> rule5)) -> rule8))]
("Anne" "is" "green" "+")
((triple3) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Erin is not green.
False
2
inv-proof
[(((triple7) -> rule8))]
("Erin" "is" "green" "-")
((triple7) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
True
3
proof
[(((((triple7) -> rule8)) -> rule6))]
("Erin" "is" "big" "+")
((((triple7) -> (rule8 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Charlie is not white.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule2))]
("Charlie" "is" "white" "-")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Erin is rough.
True
6
proof
[(((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule3))]
("Erin" "is" "rough" "+")
((((triple7) -> (rule8 % int3)) ((((triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Charlie is not quiet.
False
5
inv-proof
[(((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule7))]
("Charlie" "is" "quiet" "-")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Erin is smart.
True
9
proof
[(((((triple7) -> rule8) ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule3)) -> rule1))]
("Erin" "is" "smart" "+")
((((triple7) -> (rule8 % int4)) ((((triple7) -> (rule8 % int4)) ((((triple7) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Charlie is not kind.
False
7
inv-proof
[(((((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5) triple6) -> rule4) OR ((((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule7) triple6) -> rule4))]
("Charlie" "is" "kind" "-")
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) ((triple5) -> (rule6 % int4))) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Erin is kind.
True
11
proof
[(((triple7 ((((triple7) -> rule8) ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule3)) -> rule1)) -> rule4))]
("Erin" "is" "kind" "+")
((triple7 ((((triple7) -> (rule8 % int5)) ((((triple7) -> (rule8 % int5)) ((((triple7) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is not kind.
False
11
inv-proof
[(((triple7 ((((triple7) -> rule8) ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule3)) -> rule1)) -> rule4))]
("Erin" "is" "kind" "-")
((triple7 ((((triple7) -> (rule8 % int5)) ((((triple7) -> (rule8 % int5)) ((((triple7) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1 OR ((((triple3) -> rule8)) -> rule6) OR ((((((triple4) -> rule5)) -> rule8)) -> rule6))] Anne is kind.[(triple2 OR ((triple1) -> rule9) OR ((((((triple3) -> rule8)) -> rule6)) -> rule9) OR ((((((((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9))] Anne is quiet.[(triple3 OR ((triple4) -> rule5))] Anne is rough.[(triple4 OR ((((triple3) -> rule8) triple1) -> rule3) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule6)) -> rule3))] Charlie is green.[(triple5)] Charlie is smart.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Gary is big.[(triple9 OR ((triple10) -> rule6) OR ((((triple12) -> rule8)) -> rule6) OR ((((((triple13) -> rule5)) -> rule8)) -> rule6))] Gary is green.[(triple10 OR ((triple12) -> rule8) OR ((((triple13) -> rule5)) -> rule8))] Gary is kind.[(triple11 OR ((triple12 triple14) -> rule4) OR ((((triple13) -> rule5) triple14) -> rule4) OR ((((((triple10 triple9) -> rule3)) -> rule5) triple14) -> rule4) OR ((((((triple10 ((triple10) -> rule6)) -> rule3)) -> rule5) triple14) -> rule4))] Gary is quiet.[(triple12 OR ((triple13) -> rule5) OR ((((triple10 triple9) -> rule3)) -> rule5) OR ((((triple10 ((triple10) -> rule6)) -> rule3)) -> rule5))] Gary is rough.[(triple13 OR ((triple10 triple9) -> rule3) OR ((triple10 ((triple10) -> rule6)) -> rule3) OR ((((triple12) -> rule8) triple9) -> rule3) OR ((((triple12) -> rule8) ((triple10) -> rule6)) -> rule3) OR ((triple10 ((((triple12) -> rule8)) -> rule6)) -> rule3) OR ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule3))] Gary is smart.[(triple14)] @1: Anne is green.[(((triple3) -> rule8) OR ((((triple4) -> rule5)) -> rule8))] Charlie is big.[(((triple5) -> rule6))] Erin is green.[(((triple7) -> rule8))] @2: Charlie is rough.[(((triple5 ((triple5) -> rule6)) -> rule3))] Charlie is white.[(((((triple5) -> rule6)) -> rule2))] Erin is big.[(((((triple7) -> rule8)) -> rule6))] @3: Charlie is quiet.[(((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule7))] Erin is rough.[(((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule3))] @4: Charlie is kind.[(((((((triple5 ((triple5) -> rule6)) -> rule3)) -> rule5) triple6) -> rule4) OR ((((((((triple5) -> rule6)) -> rule2) ((triple5) -> rule6)) -> rule7) triple6) -> rule4))] Erin is smart.[(((((triple7) -> rule8) ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule3)) -> rule1))] @5: Erin is kind.[(((triple7 ((((triple7) -> rule8) ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule3)) -> rule1)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple1) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((((triple3) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((((triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((((triple3) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
((triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple13) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple12) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((triple12 triple14) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple13) -> (rule5 % int2)) triple14) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple10 triple9) -> (rule3 % int3))) -> (rule5 % int2)) triple14) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple10 ((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple14) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
((triple13) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple10 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple10 ((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple13
((triple10 triple9) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple10 ((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple12) -> (rule8 % int2)) triple9) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple12) -> (rule8 % int3)) ((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((triple10 ((((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple12) -> (rule8 % int3)) ((((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Anne is green.
("Anne" "is" "green" "+")
((triple3) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple5) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple7) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple7) -> (rule8 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2)) ((triple5) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((triple7) -> (rule8 % int3)) ((((triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3)) ((triple5) -> (rule6 % int4))) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple7) -> (rule8 % int4)) ((((triple7) -> (rule8 % int4)) ((((triple7) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((triple7 ((((triple7) -> (rule8 % int5)) ((((triple7) -> (rule8 % int5)) ((((triple7) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5