Anne is kind. Anne is quiet. Anne is round. Anne is smart. Charlie is blue. Charlie is round. Charlie is smart. Dave is big. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Erin is blue. Erin is kind. Erin is nice. Erin is smart. If something is blue then it is smart. All nice, kind things are quiet. All round, smart things are kind. All big things are nice. All blue, quiet things are big. Smart, kind things are round. If Erin is big then Erin is round. All smart, blue things are round.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If something is blue then it is smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All nice, kind things are quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
All round, smart things are kind.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
All big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
All blue, quiet things are big.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Smart, kind things are round.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Erin is big then Erin is round.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "round" "+"))
All smart, blue things are round.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Charlie is blue.
True
1
proof
[(triple5)]
("Charlie" "is" "blue" "+")
triple5
Erin is not nice.
False
1
inv-proof
[(triple15)]
("Erin" "is" "nice" "-")
triple15
Charlie is kind.
True
3
proof
[(((triple6 triple7) -> rule3) OR ((triple6 ((triple5) -> rule1)) -> rule3) OR ((((triple7 triple5) -> rule8) triple7) -> rule3) OR ((((triple7 triple5) -> rule8) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule8) triple7) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule8) ((triple5) -> rule1)) -> rule3))]
("Charlie" "is" "kind" "+")
((triple6 triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple6 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple7 triple5) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7 triple5) -> (rule8 % int3)) ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule1 % int3)) triple5) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple5) -> (rule1 % int3)) triple5) -> (rule8 % int2)) ((triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is not kind.
False
3
inv-proof
[(((triple6 triple7) -> rule3) OR ((triple6 ((triple5) -> rule1)) -> rule3) OR ((((triple7 triple5) -> rule8) triple7) -> rule3) OR ((((triple7 triple5) -> rule8) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule8) triple7) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule8) ((triple5) -> rule1)) -> rule3))]
("Charlie" "is" "kind" "-")
((triple6 triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple6 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple7 triple5) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7 triple5) -> (rule8 % int3)) ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule1 % int3)) triple5) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple5) -> (rule1 % int3)) triple5) -> (rule8 % int2)) ((triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Erin is big.
True
5
proof
[(((triple13 ((triple15 triple14) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((triple16 triple13) -> rule8) triple16) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((triple16 triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) triple16) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2)) -> rule5))]
("Erin" "is" "big" "+")
((triple13 ((triple15 triple14) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple13 ((triple15 ((((triple16 triple13) -> (rule8 % int4)) triple16) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple13 ((triple15 ((((triple16 triple13) -> (rule8 % int5)) ((triple13) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((triple13 ((triple15 ((((((triple13) -> (rule1 % int5)) triple13) -> (rule8 % int4)) triple16) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple13 ((triple15 ((((((triple13) -> (rule1 % int5)) triple13) -> (rule8 % int4)) ((triple13) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is not big.
False
5
inv-proof
[(((triple13 ((triple15 triple14) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((triple16 triple13) -> rule8) triple16) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((triple16 triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) triple16) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2)) -> rule5))]
("Erin" "is" "big" "-")
((triple13 ((triple15 triple14) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple13 ((triple15 ((((triple16 triple13) -> (rule8 % int4)) triple16) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple13 ((triple15 ((((triple16 triple13) -> (rule8 % int5)) ((triple13) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((triple13 ((triple15 ((((((triple13) -> (rule1 % int5)) triple13) -> (rule8 % int4)) triple16) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple13 ((triple15 ((((((triple13) -> (rule1 % int5)) triple13) -> (rule8 % int4)) ((triple13) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Charlie is not nice.
Unknown
inv-rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "big" "+")
Charlie is not quiet.
Unknown
inv-rconc
[@3: Charlie is quiet.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is kind.[(triple1 OR ((triple3 triple4) -> rule3))] Anne is quiet.[(triple2)] Anne is round.[(triple3 OR ((triple4 triple1) -> rule6))] Anne is smart.[(triple4)] Charlie is blue.[(triple5)] Charlie is round.[(triple6 OR ((triple7 triple5) -> rule8) OR ((((triple5) -> rule1) triple5) -> rule8))] Charlie is smart.[(triple7 OR ((triple5) -> rule1))] Dave is big.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10 OR ((triple8) -> rule4))] Dave is quiet.[(triple11 OR ((triple10 triple9) -> rule2) OR ((((triple8) -> rule4) triple9) -> rule2))] Dave is round.[(triple12)] Erin is blue.[(triple13)] Erin is kind.[(triple14 OR ((((triple16 triple13) -> rule8) triple16) -> rule3) OR ((((triple16 triple13) -> rule8) ((triple13) -> rule1)) -> rule3) OR ((((((triple13) -> rule1) triple13) -> rule8) triple16) -> rule3) OR ((((((triple13) -> rule1) triple13) -> rule8) ((triple13) -> rule1)) -> rule3))] Erin is nice.[(triple15)] Erin is smart.[(triple16 OR ((triple13) -> rule1))] @1: Charlie is kind.[(((triple6 triple7) -> rule3) OR ((triple6 ((triple5) -> rule1)) -> rule3) OR ((((triple7 triple5) -> rule8) triple7) -> rule3) OR ((((triple7 triple5) -> rule8) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule8) triple7) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule8) ((triple5) -> rule1)) -> rule3))] Erin is quiet.[(((triple15 triple14) -> rule2) OR ((triple15 ((((triple16 triple13) -> rule8) triple16) -> rule3)) -> rule2) OR ((triple15 ((((triple16 triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2) OR ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) triple16) -> rule3)) -> rule2) OR ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2))] Erin is round.[(((triple16 triple13) -> rule8) OR ((triple16 triple14) -> rule6) OR ((((triple13) -> rule1) triple13) -> rule8) OR ((((triple13) -> rule1) triple14) -> rule6) OR ((((triple13 ((triple15 triple14) -> rule2)) -> rule5)) -> rule7))] @2: Erin is big.[(((triple13 ((triple15 triple14) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((triple16 triple13) -> rule8) triple16) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((triple16 triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) triple16) -> rule3)) -> rule2)) -> rule5) OR ((triple13 ((triple15 ((((((triple13) -> rule1) triple13) -> rule8) ((triple13) -> rule1)) -> rule3)) -> rule2)) -> rule5))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
((triple3 triple4) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple4 triple1) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
((triple7 triple5) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple5) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
((triple5) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
((triple8) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
((triple10 triple9) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple8) -> (rule4 % int2)) triple9) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple12
Erin is blue.
("Erin" "is" "blue" "+")
triple13
Erin is kind.
("Erin" "is" "kind" "+")
triple14
((((triple16 triple13) -> (rule8 % int2)) triple16) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple16 triple13) -> (rule8 % int3)) ((triple13) -> (rule1 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple13) -> (rule1 % int3)) triple13) -> (rule8 % int2)) triple16) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple13) -> (rule1 % int3)) triple13) -> (rule8 % int2)) ((triple13) -> (rule1 % int3))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple15
Erin is smart.
("Erin" "is" "smart" "+")
triple16
((triple13) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6 triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple6 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple7 triple5) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7 triple5) -> (rule8 % int3)) ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule1 % int3)) triple5) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple5) -> (rule1 % int3)) triple5) -> (rule8 % int2)) ((triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple15 triple14) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple15 ((((triple16 triple13) -> (rule8 % int3)) triple16) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple15 ((((triple16 triple13) -> (rule8 % int4)) ((triple13) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple15 ((((((triple13) -> (rule1 % int4)) triple13) -> (rule8 % int3)) triple16) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple15 ((((((triple13) -> (rule1 % int4)) triple13) -> (rule8 % int3)) ((triple13) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((triple16 triple13) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple16 triple14) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple13) -> (rule1 % int2)) triple13) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple13) -> (rule1 % int2)) triple14) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple13 ((triple15 triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple13 ((triple15 triple14) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple13 ((triple15 ((((triple16 triple13) -> (rule8 % int4)) triple16) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple13 ((triple15 ((((triple16 triple13) -> (rule8 % int5)) ((triple13) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((triple13 ((triple15 ((((((triple13) -> (rule1 % int5)) triple13) -> (rule8 % int4)) triple16) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((triple13 ((triple15 ((((((triple13) -> (rule1 % int5)) triple13) -> (rule8 % int4)) ((triple13) -> (rule1 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5