Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is white. Bob is white. Charlie is kind. Charlie is rough. Fiona is blue. Fiona is kind. Fiona is white. Red things are blue. White things are furry. Round, kind things are red. All red things are furry. Rough, round things are kind. Furry things are blue. Furry things are rough. If something is white and rough then it is round. Furry, kind things are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Round, kind things are red.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Rough, round things are kind.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If something is white and rough then it is round.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Furry, kind things are red.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Anne is round.
True
1
proof
[(triple5 OR ((triple6 triple4) -> rule8) OR ((triple6 ((triple2) -> rule7)) -> rule8) OR ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8))]
("Anne" "is" "round" "+")
triple5
((triple6 triple4) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple6 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple6 ((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is not white.
False
1
inv-proof
[(triple6)]
("Anne" "is" "white" "-")
triple6
Anne is kind.
True
3
proof
[(((triple4 triple5) -> rule5) OR ((triple4 ((triple6 triple4) -> rule8)) -> rule5) OR ((((triple2) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) triple5) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5))]
("Anne" "is" "kind" "+")
((triple4 triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple4 ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple4 ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple4 ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple2) -> (rule7 % int4)) ((triple6 ((((triple3) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple2) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is not kind.
False
3
inv-proof
[(((triple4 triple5) -> rule5) OR ((triple4 ((triple6 triple4) -> rule8)) -> rule5) OR ((((triple2) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) triple5) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5))]
("Anne" "is" "kind" "-")
((triple4 triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple4 ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple4 ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple4 ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple2) -> (rule7 % int4)) ((triple6 ((((triple3) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple2) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Fiona is red.
True
4
proof
[(((((triple12) -> rule2) triple11) -> rule9) OR ((((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8) triple11) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2)) -> rule7) ((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8) ((((((triple12) -> rule2)) -> rule7) ((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3))]
("Fiona" "is" "red" "+")
((((triple12) -> (rule2 % int2)) triple11) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple12 ((((triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple12) -> (rule2 % int5)) ((((((triple12) -> (rule2 % int5))) -> (rule7 % int4)) ((triple12 ((((triple12) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple12 ((((triple12) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple12) -> (rule2 % int5))) -> (rule7 % int4)) ((triple12 ((((triple12) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is not rough.
False
3
inv-proof
[(((((triple12) -> rule2)) -> rule7))]
("Fiona" "is" "rough" "-")
((((triple12) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Bob is round.
True
5
proof
[(((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8))]
("Bob" "is" "round" "+")
((triple7 ((((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Fiona is not round.
False
5
inv-proof
[(((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8))]
("Fiona" "is" "round" "-")
((triple12 ((((triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Bob is kind.
True
9
proof
[(((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5))]
("Bob" "is" "kind" "+")
((((((triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is not kind.
False
9
inv-proof
[(((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5))]
("Bob" "is" "kind" "-")
((((((triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
True
12
proof
[(((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3))]
("Bob" "is" "red" "+")
((((triple7) -> (rule2 % int5)) ((((((triple7) -> (rule2 % int5))) -> (rule7 % int4)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple7) -> (rule2 % int5))) -> (rule7 % int4)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is not red.
False
12
inv-proof
[(((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3))]
("Bob" "is" "red" "-")
((((triple7) -> (rule2 % int5)) ((((((triple7) -> (rule2 % int5))) -> (rule7 % int4)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple7) -> (rule2 % int5))) -> (rule7 % int4)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Charlie is not blue.
Unknown
inv-rconc
[@5: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- rule9 <- rule4 <- rule3 <- rule8 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is red.
Unknown
rconc
[@4: Charlie is red.[CWA. Example of deepest failure = (rule9 <- rule4 <- rule3 <- rule8 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not furry.
Unknown
inv-rconc
[@3: Charlie is furry.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule8 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple3) -> rule1) OR ((((triple3) -> rule4)) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((triple2 ((triple4 triple5) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((triple4 triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((triple4 triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple5 ((triple4 triple5) -> rule5)) -> rule3)) -> rule4)) -> rule6) OR ((((triple2 ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple2 ((((triple2) -> rule7) triple5) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((triple5 ((((triple2) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple6 triple4) -> rule8) ((triple4 triple5) -> rule5)) -> rule3)) -> rule4)) -> rule6) OR ((((triple2 ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6) -> rule2) ((((triple2) -> rule7) triple5) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((triple2) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple5 ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule4)) -> rule6) OR ((((triple2 ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple2 ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((triple5 ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple6 triple4) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule4)) -> rule6) OR ((((triple2 ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple2 ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((triple5 ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 triple5) -> rule5)) -> rule3)) -> rule1) OR ((((triple2 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((triple2 ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((triple2 ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((triple2 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1))] Anne is furry.[(triple2 OR ((triple3) -> rule4) OR ((triple6) -> rule2) OR ((((triple5 ((triple4 triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((triple6 triple4) -> rule8) ((triple4 triple5) -> rule5)) -> rule3)) -> rule4) OR ((((triple5 ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple6 triple4) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3)) -> rule4))] Anne is red.[(triple3 OR ((triple2 ((triple4 triple5) -> rule5)) -> rule9) OR ((triple5 ((triple4 triple5) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((triple4 triple5) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((triple4 triple5) -> rule5)) -> rule3) OR ((triple2 ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule9) OR ((triple2 ((((triple2) -> rule7) triple5) -> rule5)) -> rule9) OR ((triple5 ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((triple5 ((((triple2) -> rule7) triple5) -> rule5)) -> rule3) OR ((triple2 ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9) OR ((triple5 ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule9) OR ((((triple6) -> rule2) ((((triple2) -> rule7) triple5) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 triple4) -> rule8) ((((triple2) -> rule7) triple5) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 triple5) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) triple5) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((triple2 ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((triple2 ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule9) OR ((triple5 ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((triple5 ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3) OR ((triple2 ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((triple2 ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9) OR ((triple5 ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((triple5 ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 triple5) -> rule5)) -> rule3) OR ((triple2 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((triple5 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) triple5) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((triple2 ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((triple5 ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((triple2 ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((triple5 ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((triple2 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((triple5 ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple6 triple4) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((triple2) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8) ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3))] Anne is rough.[(triple4 OR ((triple2) -> rule7) OR ((((triple3) -> rule4)) -> rule7) OR ((((triple6) -> rule2)) -> rule7))] Anne is round.[(triple5 OR ((triple6 triple4) -> rule8) OR ((triple6 ((triple2) -> rule7)) -> rule8) OR ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8))] Anne is white.[(triple6)] Bob is white.[(triple7)] Charlie is kind.[(triple8)] Charlie is rough.[(triple9)] Fiona is blue.[(triple10 OR ((((triple12) -> rule2)) -> rule6) OR ((((((triple12) -> rule2) triple11) -> rule9)) -> rule1) OR ((((((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8) triple11) -> rule3)) -> rule1) OR ((((((triple12) -> rule2) ((((((triple12) -> rule2)) -> rule7) ((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8) ((((((triple12) -> rule2)) -> rule7) ((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1))] Fiona is kind.[(triple11 OR ((((((triple12) -> rule2)) -> rule7) ((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8)) -> rule5))] Fiona is white.[(triple12)] @1: Anne is kind.[(((triple4 triple5) -> rule5) OR ((triple4 ((triple6 triple4) -> rule8)) -> rule5) OR ((((triple2) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) triple5) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 triple4) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((triple2) -> rule7)) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((triple4 ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((triple2) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple3) -> rule4)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule7) ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule8)) -> rule5))] Bob is furry.[(((triple7) -> rule2))] Fiona is furry.[(((triple12) -> rule2))] @2: Bob is blue.[(((((triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9)) -> rule1) OR ((((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3)) -> rule1))] Bob is rough.[(((((triple7) -> rule2)) -> rule7))] Fiona is red.[(((((triple12) -> rule2) triple11) -> rule9) OR ((((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8) triple11) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2)) -> rule7) ((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8) ((((((triple12) -> rule2)) -> rule7) ((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3))] Fiona is rough.[(((((triple12) -> rule2)) -> rule7))] @3: Bob is round.[(((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8))] Fiona is round.[(((triple12 ((((triple12) -> rule2)) -> rule7)) -> rule8))] @4: Bob is kind.[(((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5))] @5: Bob is red.[(((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule9) OR ((((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8) ((((((triple7) -> rule2)) -> rule7) ((triple7 ((((triple7) -> rule2)) -> rule7)) -> rule8)) -> rule5)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2 ((triple4 triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple5 ((triple4 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple6) -> (rule2 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6 triple4) -> (rule8 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple5 ((triple4 triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple2 ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple2 ((((triple2) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple5 ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple5 ((((triple2) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple6 triple4) -> (rule8 % int5)) ((triple4 triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 ((((triple2) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple5 ((((triple2) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple6) -> (rule2 % int5)) ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple6) -> (rule2 % int5)) ((((triple2) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple6 triple4) -> (rule8 % int4)) ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple6 triple4) -> (rule8 % int5)) ((((triple2) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple6) -> (rule2 % int6)) ((((triple2) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 triple4) -> (rule8 % int5)) ((((triple2) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple5 ((triple4 ((triple6 triple4) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 ((triple4 ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple5 ((triple4 ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple5 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple6 triple4) -> (rule8 % int5)) ((triple4 ((triple6 triple4) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2 ((((triple2) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple2 ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple5 ((((triple2) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple5 ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6) -> (rule2 % int6)) ((triple4 ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6) -> (rule2 % int5)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple6 triple4) -> (rule8 % int5)) ((triple4 ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple6 triple4) -> (rule8 % int6)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple2 ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple5 ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6) -> (rule2 % int6)) ((((triple2) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6) -> (rule2 % int6)) ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 triple4) -> (rule8 % int5)) ((((triple2) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple6 triple4) -> (rule8 % int6)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int6))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple6 ((triple2) -> (rule7 % int6))) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int6)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6) -> (rule2 % int6)) ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 triple4) -> (rule8 % int6)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int6))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple6 ((triple2) -> (rule7 % int6))) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int6)) ((triple6 triple4) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((triple2) -> (rule7 % int6))) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int6)) ((triple6 ((triple2) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple2 ((triple4 ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple5 ((triple4 ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple2 ((((triple2) -> (rule7 % int6)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((triple5 ((((triple2) -> (rule7 % int6)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int6))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple6) -> (rule2 % int6)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 triple4) -> (rule8 % int6)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int6))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((triple2 ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((triple5 ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6) -> (rule2 % int6)) ((((triple2) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 triple4) -> (rule8 % int6)) ((((triple2) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int5))) -> (rule8 % int6))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple6 ((triple2) -> (rule7 % int6))) -> (rule8 % int5)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple6) -> (rule2 % int6)) ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 triple4) -> (rule8 % int6)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int6))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple6 ((triple2) -> (rule7 % int6))) -> (rule8 % int5)) ((((triple2) -> (rule7 % int6)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((triple2) -> (rule7 % int6))) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int6)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int6))) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple6) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple5 ((triple4 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple6 triple4) -> (rule8 % int4)) ((triple4 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple5 ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple6 triple4) -> (rule8 % int4)) ((triple4 ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple2 ((triple4 triple5) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple5 ((triple4 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple6 triple4) -> (rule8 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple2 ((triple4 ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple2 ((((triple2) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple5 ((triple4 ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple5 ((((triple2) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple2 ((((triple2) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple5 ((((triple2) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple6) -> (rule2 % int4)) ((triple4 ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple6) -> (rule2 % int4)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple6 triple4) -> (rule8 % int3)) ((triple4 ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple6 triple4) -> (rule8 % int4)) ((((triple2) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple6) -> (rule2 % int5)) ((((triple2) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 triple4) -> (rule8 % int4)) ((((triple2) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4 ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule7 % int4)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple2 ((triple4 ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple2 ((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple5 ((triple4 ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple5 ((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple2 ((((triple2) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple2 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple5 ((((triple2) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple5 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6) -> (rule2 % int5)) ((triple4 ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6) -> (rule2 % int4)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple6 triple4) -> (rule8 % int4)) ((triple4 ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple6 triple4) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple2 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple5 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6) -> (rule2 % int5)) ((((triple2) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6) -> (rule2 % int5)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 triple4) -> (rule8 % int4)) ((((triple2) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple6 triple4) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4 ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule7 % int5)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4 ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule7 % int4)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6) -> (rule2 % int5)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 triple4) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule7 % int5)) ((triple6 triple4) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4 ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule7 % int5)) ((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((triple2) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple2 ((triple4 ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple5 ((triple4 ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple2 ((((triple2) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((triple5 ((((triple2) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6) -> (rule2 % int5)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 triple4) -> (rule8 % int5)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((triple2 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple5 ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6) -> (rule2 % int5)) ((((triple2) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 triple4) -> (rule8 % int5)) ((((triple2) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int4))) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6) -> (rule2 % int5)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 triple4) -> (rule8 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple2) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4 ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((triple2) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule7 % int5)) ((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple2) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple6) -> (rule2 % int5))) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple2) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple6 triple4) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple6 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple6 ((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((((triple12) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple12) -> (rule2 % int3)) triple11) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple12 ((((triple12) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple11) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((triple12) -> (rule2 % int6)) ((((((triple12) -> (rule2 % int6))) -> (rule7 % int5)) ((triple12 ((((triple12) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
((((((triple12 ((((triple12) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple12) -> (rule2 % int6))) -> (rule7 % int5)) ((triple12 ((((triple12) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
int6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
((((((triple12) -> (rule2 % int4))) -> (rule7 % int3)) ((triple12 ((((triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Anne is kind.
("Anne" "is" "kind" "+")
((triple4 triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple2) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple4 ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple4 ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((triple4 ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple2) -> (rule7 % int4)) ((triple6 ((((triple3) -> (rule4 % int3))) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple2) -> (rule7 % int4)) ((triple6 ((((triple6) -> (rule2 % int3))) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple6) -> (rule2 % int4))) -> (rule7 % int3)) ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple7) -> (rule2 % int6)) ((((((triple7) -> (rule2 % int6))) -> (rule7 % int5)) ((triple7 ((((triple7) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((triple7 ((((triple7) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple7) -> (rule2 % int6))) -> (rule7 % int5)) ((triple7 ((((triple7) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
Bob is rough.
("Bob" "is" "rough" "+")
((((triple7) -> (rule2 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple12) -> (rule2 % int2)) triple11) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple12 ((((triple12) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple12) -> (rule2 % int5)) ((((((triple12) -> (rule2 % int5))) -> (rule7 % int4)) ((triple12 ((((triple12) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple12 ((((triple12) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple12) -> (rule2 % int5))) -> (rule7 % int4)) ((triple12 ((((triple12) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple12) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple7 ((((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple12 ((((triple12) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((triple7 ((((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((triple7) -> (rule2 % int5)) ((((((triple7) -> (rule2 % int5))) -> (rule7 % int4)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple7) -> (rule2 % int5))) -> (rule7 % int4)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5