Anne is green. Anne is nice. Anne is young. Fiona is young. Gary is quiet. Harry is furry. Harry is round. If Harry is white then Harry is round. If someone is furry and young then they are white. If someone is furry then they are white. White people are round. Round people are quiet. If someone is nice and green then they are furry. If someone is quiet and green then they are furry. If someone is nice then they are furry. If someone is young then they are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is white then Harry is round.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "round" "+"))
If someone is furry and young then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is furry then they are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is nice and green then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is quiet and green then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "young" "-")
triple4
Harry is white.
True
2
proof
[(((triple6) -> rule3))]
("Harry" "is" "white" "+")
((triple6) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple6) -> rule3))]
("Harry" "is" "white" "-")
((triple6) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is white.
True
3
proof
[(((((triple2) -> rule8)) -> rule3) OR ((((triple2 triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule8) triple3) -> rule2) OR ((((triple2 triple1) -> rule6) triple3) -> rule2) OR ((((((triple3) -> rule9)) -> rule8)) -> rule3) OR ((((((triple3) -> rule9) triple1) -> rule6)) -> rule3) OR ((((((triple3) -> rule9)) -> rule8) triple3) -> rule2) OR ((((((triple3) -> rule9) triple1) -> rule6) triple3) -> rule2))]
("Anne" "is" "white" "+")
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2 triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2 triple1) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple3) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule9 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule9 % int3))) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule9 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Fiona is not furry.
False
3
inv-proof
[(((((triple4) -> rule9)) -> rule8))]
("Fiona" "is" "furry" "-")
((((triple4) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
True
4
proof
[(((((((triple4) -> rule9)) -> rule8)) -> rule3) OR ((((((triple4) -> rule9)) -> rule8) triple4) -> rule2))]
("Fiona" "is" "white" "+")
((((((triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple4) -> (rule9 % int3))) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Anne is not round.
False
4
inv-proof
[(((((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((((triple2 triple1) -> rule6)) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((triple2 triple1) -> rule6) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule9) triple1) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule9) triple1) -> rule6) triple3) -> rule2)) -> rule4))]
("Anne" "is" "round" "-")
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2 triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2 triple1) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((((triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule9 % int4)) triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule9 % int4))) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule9 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is quiet.
True
5
proof
[(((((((((triple2) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2 triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple2 triple1) -> rule6) triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9)) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9) triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9)) -> rule8) triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9) triple1) -> rule6) triple3) -> rule2)) -> rule4)) -> rule5))]
("Anne" "is" "quiet" "+")
((((((((triple2) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple2 triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple2 triple1) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((((triple3) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple3) -> (rule9 % int5)) triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple3) -> (rule9 % int5))) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple3) -> (rule9 % int5)) triple1) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Fiona is not round.
False
5
inv-proof
[(((((((((triple4) -> rule9)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple4) -> rule9)) -> rule8) triple4) -> rule2)) -> rule4))]
("Fiona" "is" "round" "-")
((((((((triple4) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple4) -> (rule9 % int4))) -> (rule8 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is quiet.
True
6
proof
[(((((((((((triple4) -> rule9)) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple4) -> rule9)) -> rule8) triple4) -> rule2)) -> rule4)) -> rule5))]
("Fiona" "is" "quiet" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple4) -> (rule9 % int5))) -> (rule8 % int4)) triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is not quiet.
False
6
inv-proof
[(((((((((((triple4) -> rule9)) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple4) -> rule9)) -> rule8) triple4) -> rule2)) -> rule4)) -> rule5))]
("Fiona" "is" "quiet" "-")
((((((((((triple4) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple4) -> (rule9 % int5))) -> (rule8 % int4)) triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule8 <- rule9 <- FAIL)]]
("Gary" "is" "furry" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not white.
Unknown
inv-rconc
[@3: Gary is white.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule9 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@4: Gary is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule8 <- rule9 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule9))] Anne is young.[(triple3)] Fiona is young.[(triple4)] Gary is quiet.[(triple5)] Harry is furry.[(triple6)] Harry is round.[(triple7 OR ((((triple6) -> rule3)) -> rule1) OR ((((triple6) -> rule3)) -> rule4))] @1: Anne is furry.[(((triple2) -> rule8) OR ((triple2 triple1) -> rule6) OR ((((triple3) -> rule9)) -> rule8) OR ((((triple3) -> rule9) triple1) -> rule6))] Fiona is nice.[(((triple4) -> rule9))] Harry is quiet.[(((triple7) -> rule5) OR ((((((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((triple6) -> rule3)) -> rule4)) -> rule5))] Harry is white.[(((triple6) -> rule3))] @2: Anne is white.[(((((triple2) -> rule8)) -> rule3) OR ((((triple2 triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule8) triple3) -> rule2) OR ((((triple2 triple1) -> rule6) triple3) -> rule2) OR ((((((triple3) -> rule9)) -> rule8)) -> rule3) OR ((((((triple3) -> rule9) triple1) -> rule6)) -> rule3) OR ((((((triple3) -> rule9)) -> rule8) triple3) -> rule2) OR ((((((triple3) -> rule9) triple1) -> rule6) triple3) -> rule2))] Fiona is furry.[(((((triple4) -> rule9)) -> rule8))] @3: Anne is round.[(((((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((((triple2 triple1) -> rule6)) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((triple2 triple1) -> rule6) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule9) triple1) -> rule6)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule9)) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule9) triple1) -> rule6) triple3) -> rule2)) -> rule4))] Fiona is white.[(((((((triple4) -> rule9)) -> rule8)) -> rule3) OR ((((((triple4) -> rule9)) -> rule8) triple4) -> rule2))] @4: Anne is quiet.[(((((((((triple2) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2 triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple2 triple1) -> rule6) triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9)) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9) triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9)) -> rule8) triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule9) triple1) -> rule6) triple3) -> rule2)) -> rule4)) -> rule5))] Fiona is round.[(((((((((triple4) -> rule9)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple4) -> rule9)) -> rule8) triple4) -> rule2)) -> rule4))] @5: Fiona is quiet.[(((((((((((triple4) -> rule9)) -> rule8)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple4) -> rule9)) -> rule8) triple4) -> rule2)) -> rule4)) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple3) -> (rule9 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple2 triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple3) -> (rule9 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple3) -> (rule9 % int2)) triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple6) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2 triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple2 triple1) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple3) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule9 % int3)) triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule9 % int3))) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule9 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple4) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2 triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2 triple1) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((((triple3) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule9 % int4)) triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule9 % int4))) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3) -> (rule9 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple4) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple4) -> (rule9 % int3))) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((((triple2) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple2 triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple2 triple1) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((((triple3) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple3) -> (rule9 % int5)) triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple3) -> (rule9 % int5))) -> (rule8 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((((triple3) -> (rule9 % int5)) triple1) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple4) -> (rule9 % int4))) -> (rule8 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple4) -> (rule9 % int5))) -> (rule8 % int4)) triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5