Erin is blue. Erin is furry. Erin is round. Erin is smart. Erin is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is smart. If someone is round then they are cold. Cold people are young. If someone is cold then they are young. If someone is cold and not smart then they are young. All blue, round people are furry. Young people are furry. If Erin is cold and Erin is young then Erin is quiet. Blue people are round.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is round then they are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and not smart then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "+"))
All blue, round people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If Erin is cold and Erin is young then Erin is quiet.
((("Erin" "is" "cold" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "quiet" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fiona is smart.
True
1
proof
[(triple10)]
("Fiona" "is" "smart" "+")
triple10
Erin is not round.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule8))]
("Erin" "is" "round" "-")
triple3
((triple1) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is young.
True
2
proof
[(((triple7) -> rule2) OR ((triple7) -> rule3) OR ((((triple9) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule3) OR ((((((triple6) -> rule8)) -> rule1)) -> rule2) OR ((((((triple6) -> rule8)) -> rule1)) -> rule3))]
("Fiona" "is" "young" "+")
((triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Erin is not cold.
False
2
inv-proof
[(((triple3) -> rule1) OR ((((triple1) -> rule8)) -> rule1))]
("Erin" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is quiet.
True
4
proof
[(((((triple3) -> rule1) triple5) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) triple5) -> rule7) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule7) OR ((((triple3) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule7) OR ((((triple3) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule7))]
("Erin" "is" "quiet" "+")
((((triple3) -> (rule1 % int2)) triple5) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2)) triple5) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int3))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is not quiet.
False
4
inv-proof
[(((((triple3) -> rule1) triple5) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) triple5) -> rule7) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule7) OR ((((triple3) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule7) OR ((((triple3) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule7))]
("Erin" "is" "quiet" "-")
((((triple3) -> (rule1 % int2)) triple5) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2)) triple5) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int3))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2 OR ((triple5) -> rule6) OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple1) -> rule8)) -> rule5) OR ((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule6))] Erin is round.[(triple3 OR ((triple1) -> rule8))] Erin is smart.[(triple4)] Erin is young.[(triple5 OR ((((triple3) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule3) OR ((((((triple1) -> rule8)) -> rule1)) -> rule2) OR ((((((triple1) -> rule8)) -> rule1)) -> rule3))] Fiona is blue.[(triple6)] Fiona is cold.[(triple7 OR ((triple9) -> rule1) OR ((((triple6) -> rule8)) -> rule1))] Fiona is furry.[(triple8 OR ((triple6 triple9) -> rule5) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((triple6 ((triple6) -> rule8)) -> rule5) OR ((((((triple9) -> rule1)) -> rule2)) -> rule6) OR ((((((triple9) -> rule1)) -> rule3)) -> rule6) OR ((((((((triple6) -> rule8)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule8)) -> rule1)) -> rule3)) -> rule6))] Fiona is round.[(triple9 OR ((triple6) -> rule8))] Fiona is smart.[(triple10)] @1: Erin is cold.[(((triple3) -> rule1) OR ((((triple1) -> rule8)) -> rule1))] Fiona is young.[(((triple7) -> rule2) OR ((triple7) -> rule3) OR ((((triple9) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule3) OR ((((((triple6) -> rule8)) -> rule1)) -> rule2) OR ((((((triple6) -> rule8)) -> rule1)) -> rule3))] @2: Erin is quiet.[(((((triple3) -> rule1) triple5) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) triple5) -> rule7) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule7) OR ((((triple3) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule7) OR ((((triple3) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1)) -> rule3)) -> rule7))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple5) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple1 triple3) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple1 ((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
triple3
((triple1) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple9) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((triple6 triple9) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple6 ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((((triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple6) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple3) -> (rule1 % int2)) triple5) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2)) triple5) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple3) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int3))) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple1) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4