Charlie is blue. Charlie is quiet. Charlie is smart. Charlie is young. Erin is blue. Erin is nice. Erin is quiet. Erin is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Furry, young things are quiet. All young things are big. Smart things are nice. All blue things are big. If something is nice and big then it is quiet. Big things are furry. If Charlie is young and Charlie is quiet then Charlie is blue. Furry, blue things are young.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Furry, young things are quiet.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Smart things are nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something is nice and big then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If Charlie is young and Charlie is quiet then Charlie is blue.
((("Charlie" "is" "young" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "blue" "+"))
Furry, blue things are young.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Fiona is nice.
True
1
proof
[(triple12 OR ((triple14) -> rule3))]
("Fiona" "is" "nice" "+")
triple12
((triple14) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Erin is not nice.
False
1
inv-proof
[(triple6 OR ((triple8) -> rule3))]
("Erin" "is" "nice" "-")
triple6
((triple8) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Charlie is nice.
True
2
proof
[(((triple3) -> rule3))]
("Charlie" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple3) -> rule3))]
("Charlie" "is" "nice" "-")
((triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is furry.
True
3
proof
[(((((triple5) -> rule4)) -> rule6))]
("Erin" "is" "furry" "+")
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not furry.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule6))]
("Erin" "is" "furry" "-")
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
True
5
proof
[(((((((triple5) -> rule4)) -> rule6) triple5) -> rule8))]
("Erin" "is" "young" "+")
((((((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is not young.
False
5
inv-proof
[(((((((triple5) -> rule4)) -> rule6) triple5) -> rule8))]
("Erin" "is" "young" "-")
((((((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
@0: Charlie is blue.[(triple1 OR ((triple4 triple2) -> rule7) OR ((triple4 ((((triple3) -> rule3) ((triple4) -> rule2)) -> rule5)) -> rule7) OR ((triple4 ((((((triple4) -> rule2)) -> rule6) triple4) -> rule1)) -> rule7))] Charlie is quiet.[(triple2 OR ((((triple3) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((triple3) -> rule3) ((triple4) -> rule2)) -> rule5) OR ((((((triple1) -> rule4)) -> rule6) triple4) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) triple4) -> rule1) OR ((((((triple1) -> rule4)) -> rule6) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule8)) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule8)) -> rule1))] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule8))] Erin is blue.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule3))] Erin is quiet.[(triple7 OR ((triple6 ((triple5) -> rule4)) -> rule5) OR ((((triple8) -> rule3) ((triple5) -> rule4)) -> rule5) OR ((((((triple5) -> rule4)) -> rule6) ((((((triple5) -> rule4)) -> rule6) triple5) -> rule8)) -> rule1))] Erin is smart.[(triple8)] Fiona is big.[(triple9 OR ((triple10) -> rule4) OR ((triple15) -> rule2) OR ((((triple11 triple10) -> rule8)) -> rule2))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11 OR ((triple9) -> rule6) OR ((((triple10) -> rule4)) -> rule6) OR ((((triple15) -> rule2)) -> rule6))] Fiona is nice.[(triple12 OR ((triple14) -> rule3))] Fiona is quiet.[(triple13 OR ((triple11 triple15) -> rule1) OR ((triple12 triple9) -> rule5) OR ((triple11 ((triple11 triple10) -> rule8)) -> rule1) OR ((triple12 ((triple10) -> rule4)) -> rule5) OR ((triple12 ((triple15) -> rule2)) -> rule5) OR ((((triple14) -> rule3) triple9) -> rule5) OR ((((triple9) -> rule6) triple15) -> rule1) OR ((((triple14) -> rule3) ((triple10) -> rule4)) -> rule5) OR ((((triple14) -> rule3) ((triple15) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((triple11 triple10) -> rule8)) -> rule1) OR ((triple11 ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((triple12 ((((triple11 triple10) -> rule8)) -> rule2)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) triple15) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) triple15) -> rule1) OR ((((triple14) -> rule3) ((((triple11 triple10) -> rule8)) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple10) -> rule4)) -> rule6) ((triple11 triple10) -> rule8)) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) ((triple11 triple10) -> rule8)) -> rule1) OR ((((((triple10) -> rule4)) -> rule6) ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((triple11 ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1) OR ((((triple9) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple10) -> rule4)) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1))] Fiona is smart.[(triple14)] Fiona is young.[(triple15 OR ((triple11 triple10) -> rule8) OR ((((triple9) -> rule6) triple10) -> rule8) OR ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8))] @1: Charlie is big.[(((triple1) -> rule4) OR ((triple4) -> rule2) OR ((((triple4 triple2) -> rule7)) -> rule4))] Charlie is nice.[(((triple3) -> rule3))] Erin is big.[(((triple5) -> rule4))] @2: Charlie is furry.[(((((triple1) -> rule4)) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((((triple4 triple2) -> rule7)) -> rule4)) -> rule6))] Erin is furry.[(((((triple5) -> rule4)) -> rule6))] @3: Erin is young.[(((((((triple5) -> rule4)) -> rule6) triple5) -> rule8))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((triple4 triple2) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple4 ((((triple3) -> (rule3 % int4)) ((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((triple4 ((((((triple4) -> (rule2 % int4))) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
((((triple3) -> (rule3 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule3 % int3)) ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule6 % int3)) ((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple8) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple6 ((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule6 % int3)) ((((((triple5) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
((triple10) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple15) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple11 triple10) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
((triple9) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple15) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
((triple14) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
((triple11 triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple12 triple9) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple11 ((triple11 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((triple12 ((triple10) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple12 ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple14) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple9) -> (rule6 % int2)) triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple14) -> (rule3 % int3)) ((triple10) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple14) -> (rule3 % int3)) ((triple15) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple9) -> (rule6 % int3)) ((triple11 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((triple11 ((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((triple12 ((((triple11 triple10) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple15) -> (rule2 % int3))) -> (rule6 % int2)) triple15) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple14) -> (rule3 % int4)) ((((triple11 triple10) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((triple11 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple15) -> (rule2 % int4))) -> (rule6 % int3)) ((triple11 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple15) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((triple11 ((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple9) -> (rule6 % int4)) ((((((triple10) -> (rule4 % int3))) -> (rule6 % int4)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple15) -> (rule2 % int4))) -> (rule6 % int3)) ((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
((triple11 triple10) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple9) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple1) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple4 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple5) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple4 triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3