Bob is furry. Erin is blue. Erin is quiet. Erin is smart. Fiona is smart. Fiona is young. Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is white. Gary is young. If something is nice then it is quiet. If something is furry then it is blue. If something is blue then it is nice. If something is quiet then it is white. Nice, furry things are young. Smart things are furry. White, nice things are smart. If something is quiet and white then it is young.
Bob is furry.
("Bob" "is" "furry" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is nice then it is quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
If something is furry then it is blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Nice, furry things are young.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
White, nice things are smart.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If something is quiet and white then it is young.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Erin is smart.
True
1
proof
[(triple4 OR ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule7))]
("Erin" "is" "smart" "+")
triple4
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2) -> (rule3 % int4))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Gary is not young.
False
1
inv-proof
[(triple12 OR ((triple10 triple11) -> rule8) OR ((triple9 triple8) -> rule5) OR ((triple10 ((triple10) -> rule4)) -> rule8) OR ((((triple7) -> rule3) triple8) -> rule5) OR ((((triple9) -> rule1) triple11) -> rule8) OR ((((triple9) -> rule1) ((triple10) -> rule4)) -> rule8) OR ((triple10 ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((triple11 triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3)) -> rule1) triple11) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) triple8) -> rule5) OR ((((triple7) -> rule3) ((((triple11 triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule3)) -> rule1) ((triple10) -> rule4)) -> rule8) OR ((((((triple7) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((triple11 triple9) -> rule7)) -> rule6)) -> rule5) OR ((triple10 ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((triple11 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((triple9 ((((((triple10) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) triple11) -> rule8) OR ((triple9 ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((triple11 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((triple10) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple9) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((triple10) -> rule4)) -> rule8) OR ((((triple7) -> rule3) ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((triple11 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((triple10) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple10 ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((triple9 ((((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple9) -> rule1) ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((triple7) -> rule3) ((((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3)) -> rule1) ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((triple9 ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5))]
("Gary" "is" "young" "-")
triple12
((triple10 triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple9 triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple10 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple7) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple9) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple10 ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple9 ((((triple11 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple7) -> (rule3 % int4)) ((((triple11 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple8) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple11 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple10 ((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple9 ((((triple11 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple9 ((((((triple10) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((((((triple10) -> (rule4 % int5)) ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple7) -> (rule3 % int4)) ((((triple11 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple7) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple9) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int3))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple8) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple11 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple8) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple8) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple10 ((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple9 ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((triple9 ((((((((triple9) -> (rule1 % int6))) -> (rule4 % int5)) ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
((((triple7) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple9) -> (rule1 % int5)) ((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple7) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule3 % int5))) -> (rule1 % int4)) ((((((((triple8) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple9 ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple9 ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple7) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple7) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
Fiona is furry.
True
2
proof
[(((triple5) -> rule6))]
("Fiona" "is" "furry" "+")
((triple5) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple5) -> rule6))]
("Fiona" "is" "furry" "-")
((triple5) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is nice.
True
3
proof
[(((((triple1) -> rule2)) -> rule3))]
("Bob" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Erin is not young.
False
4
inv-proof
[(((triple3 ((triple3) -> rule4)) -> rule8) OR ((((triple2) -> rule3) ((triple4) -> rule6)) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((triple3) -> rule4)) -> rule8) OR ((triple3 ((((((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((((triple3) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((((((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule3) ((((((triple3) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1) ((triple3) -> rule4)) -> rule8) OR ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple3 ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((triple2) -> rule3) ((((((((((triple2) -> rule3)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule3) ((((((((((triple2) -> rule3)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1) ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8))]
("Erin" "is" "young" "-")
((triple3 ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple2) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((triple3 ((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple2) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4)) ((triple2) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple2) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule6 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((triple3 ((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((triple2) -> (rule3 % int6)) ((((((((((triple2) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple2) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple2) -> (rule3 % int6))) -> (rule1 % int5)) ((((((((((triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple4) -> (rule6 % int7))) -> (rule2 % int6))) -> (rule3 % int5)) ((((((((((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int5))) -> (rule7 % int2))) -> (rule6 % int7))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
Erin is furry.
("Erin" "is" "furry" "+")
int7
((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Bob is young.
True
5
proof
[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3)) -> rule1) ((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8))]
("Bob" "is" "young" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not young.
False
5
inv-proof
[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3)) -> rule1) ((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8))]
("Bob" "is" "young" "-")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Fiona is quiet.
True
5
proof
[(((((((((triple5) -> rule6)) -> rule2)) -> rule3)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is not quiet.
False
5
inv-proof
[(((((((((triple5) -> rule6)) -> rule2)) -> rule3)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Bob is smart.
True
9
proof
[(((((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((((triple1) -> rule2)) -> rule3)) -> rule7))]
("Bob" "is" "smart" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not smart.
False
9
inv-proof
[(((((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((((triple1) -> rule2)) -> rule3)) -> rule7))]
("Bob" "is" "smart" "-")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
@0: Bob is furry.[(triple1)] Erin is blue.[(triple2 OR ((((triple4) -> rule6)) -> rule2))] Erin is quiet.[(triple3 OR ((((triple2) -> rule3)) -> rule1) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1))] Erin is smart.[(triple4 OR ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule7))] Fiona is smart.[(triple5)] Fiona is young.[(triple6 OR ((((((((triple5) -> rule6)) -> rule2)) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((((((((triple5) -> rule6)) -> rule2)) -> rule3)) -> rule1) ((((((((((triple5) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8))] Gary is blue.[(triple7 OR ((triple8) -> rule2) OR ((((((triple11 triple9) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple10) -> rule4) triple9) -> rule7)) -> rule6)) -> rule2) OR ((((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule2))] Gary is furry.[(triple8 OR ((((triple11 triple9) -> rule7)) -> rule6) OR ((((triple11 ((triple7) -> rule3)) -> rule7)) -> rule6) OR ((((((triple10) -> rule4) triple9) -> rule7)) -> rule6) OR ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6) OR ((((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6) OR ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6) OR ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6))] Gary is nice.[(triple9 OR ((triple7) -> rule3) OR ((((triple8) -> rule2)) -> rule3))] Gary is quiet.[(triple10 OR ((triple9) -> rule1) OR ((((triple7) -> rule3)) -> rule1) OR ((((((triple8) -> rule2)) -> rule3)) -> rule1))] Gary is white.[(triple11 OR ((triple10) -> rule4) OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple7) -> rule3)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4))] Gary is young.[(triple12 OR ((triple10 triple11) -> rule8) OR ((triple9 triple8) -> rule5) OR ((triple10 ((triple10) -> rule4)) -> rule8) OR ((((triple7) -> rule3) triple8) -> rule5) OR ((((triple9) -> rule1) triple11) -> rule8) OR ((((triple9) -> rule1) ((triple10) -> rule4)) -> rule8) OR ((triple10 ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((triple11 triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3)) -> rule1) triple11) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) triple8) -> rule5) OR ((((triple7) -> rule3) ((((triple11 triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((((triple7) -> rule3)) -> rule1) ((triple10) -> rule4)) -> rule8) OR ((((((triple7) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((triple11 triple9) -> rule7)) -> rule6)) -> rule5) OR ((triple10 ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((triple11 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((triple9 ((((((triple10) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) triple11) -> rule8) OR ((triple9 ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((triple11 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((triple10) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple9) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((triple10) -> rule4)) -> rule8) OR ((((triple7) -> rule3) ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((triple11 ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((triple10) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((((triple9) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((((((triple7) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple10 ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((triple9 ((((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple9) -> rule1) ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((triple7) -> rule3) ((((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3)) -> rule1) ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple8) -> rule2)) -> rule3) ((((((((triple9) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule2)) -> rule3)) -> rule1) ((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple9 ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((triple9 ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((triple7) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7)) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7)) -> rule6)) -> rule5))] @1: Bob is blue.[(((triple1) -> rule2))] Erin is furry.[(((triple4) -> rule6) OR ((((((triple3) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6))] Erin is nice.[(((triple2) -> rule3) OR ((((((triple4) -> rule6)) -> rule2)) -> rule3))] Erin is white.[(((triple3) -> rule4) OR ((((((triple2) -> rule3)) -> rule1)) -> rule4) OR ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4))] Fiona is furry.[(((triple5) -> rule6))] Gary is smart.[(((triple11 triple9) -> rule7) OR ((triple11 ((triple7) -> rule3)) -> rule7) OR ((((triple10) -> rule4) triple9) -> rule7) OR ((((triple10) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((triple11 ((((triple8) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule4) triple9) -> rule7) OR ((((triple10) -> rule4) ((((triple8) -> rule2)) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((((((triple9) -> rule1)) -> rule4) ((((triple8) -> rule2)) -> rule3)) -> rule7) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule4) ((((triple8) -> rule2)) -> rule3)) -> rule7) OR ((((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4) triple9) -> rule7) OR ((((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((triple7) -> rule3)) -> rule7) OR ((((((((((triple8) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((((triple8) -> rule2)) -> rule3)) -> rule7))] @2: Bob is nice.[(((((triple1) -> rule2)) -> rule3))] Erin is young.[(((triple3 ((triple3) -> rule4)) -> rule8) OR ((((triple2) -> rule3) ((triple4) -> rule6)) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((triple3) -> rule4)) -> rule8) OR ((triple3 ((((((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule5) OR ((((triple2) -> rule3) ((((((triple3) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((((((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule3) ((((((triple3) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1) ((triple3) -> rule4)) -> rule8) OR ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((triple3 ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((triple2) -> rule3) ((((((((((triple2) -> rule3)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule2)) -> rule3) ((((((((((triple2) -> rule3)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule5) OR ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1) ((((((((((triple4) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8))] Fiona is blue.[(((((triple5) -> rule6)) -> rule2))] @3: Bob is quiet.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))] Bob is young.[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3)) -> rule1) ((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule4)) -> rule8))] Fiona is nice.[(((((((triple5) -> rule6)) -> rule2)) -> rule3))] @4: Bob is white.[(((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule4))] Fiona is quiet.[(((((((((triple5) -> rule6)) -> rule2)) -> rule3)) -> rule1))] @5: Bob is smart.[(((((((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule4) ((((triple1) -> rule2)) -> rule3)) -> rule7))] Fiona is white.[(((((((((((triple5) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((((triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple4
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple2) -> (rule3 % int4))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple5) -> (rule6 % int4))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((((triple5) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple8) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((((triple11 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((((triple10) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
triple8
((((triple11 triple9) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple11 ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple10) -> (rule4 % int3)) triple9) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple9) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple9) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple7) -> (rule3 % int5))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((triple7) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple9) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple11
((triple10) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple10 triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple9 triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple10 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple7) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple9) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple10 ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple9 ((((triple11 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple7) -> (rule3 % int4)) ((((triple11 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple8) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple11 triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple10 ((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple9 ((((triple11 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((triple9 ((((((triple10) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((((((triple10) -> (rule4 % int5)) ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((triple7) -> (rule3 % int4)) ((((triple11 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple7) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple9) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int3))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple8) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple11 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple8) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple8) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule4 % int4)) ((triple7) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple10 ((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple9 ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((triple9 ((((((((triple9) -> (rule1 % int6))) -> (rule4 % int5)) ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
((((triple7) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple9) -> (rule1 % int5)) ((((((((triple8) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple7) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule3 % int5))) -> (rule1 % int4)) ((((((((triple8) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((triple9 ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple9 ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple7) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((triple7) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
((((((triple8) -> (rule2 % int7))) -> (rule3 % int6)) ((((((((((triple7) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple7) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is blue.
("Gary" "is" "blue" "+")
int7
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple4) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((((triple3) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int5))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((((triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((((((triple4) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple11 triple9) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple11 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple10) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple11 ((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10) -> (rule4 % int4)) ((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((((triple9) -> (rule1 % int4))) -> (rule4 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple9) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple7) -> (rule3 % int4))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((triple7) -> (rule3 % int4))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple8) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((triple3 ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple2) -> (rule3 % int3)) ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple2) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((triple3 ((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple4) -> (rule6 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple2) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4)) ((triple2) -> (rule3 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple2) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule7 % int2))) -> (rule6 % int6))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((triple3 ((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((triple2) -> (rule3 % int6)) ((((((((((triple2) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int4)) ((triple2) -> (rule3 % int6))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple2) -> (rule3 % int6))) -> (rule1 % int5)) ((((((((((triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int6))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple4) -> (rule6 % int7))) -> (rule2 % int6))) -> (rule3 % int5)) ((((((((((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int5))) -> (rule7 % int2))) -> (rule6 % int7))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
int6
Erin is furry.
("Erin" "is" "furry" "+")
int7
((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((((triple4) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
((((((((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5