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