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