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