Anne is nice. Anne is smart. Anne is white. Charlie is nice. Charlie is rough. Erin is not blue. Erin is not rough. Fiona is blue. Fiona is green. Fiona is not nice. Fiona is rough. Fiona is white. If something is green then it is round. If something is white and smart then it is round. Round, smart things are blue. Smart things are blue. White, green things are smart. If something is round then it is white. All blue, green things are white. Blue things are green. Nice things are green.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is white and smart then it is round.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Round, smart things are blue.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Smart things are blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
White, green things are smart.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All blue, green things are white.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Anne is white.
True
1
proof
[(triple3 OR ((((triple2) -> rule4) ((triple1) -> rule9)) -> rule7) OR ((((((triple1) -> rule9)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule4)) -> rule8)) -> rule1)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule1) triple2) -> rule3) ((triple1) -> rule9)) -> rule7) OR ((((((((triple1) -> rule9)) -> rule1) triple2) -> rule3) ((((triple2) -> rule4)) -> rule8)) -> rule7))]
("Anne" "is" "white" "+")
triple3
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule9 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple1) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((((triple2) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) triple2) -> (rule3 % int2)) ((triple1) -> (rule9 % int4))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) triple2) -> (rule3 % int2)) ((((triple2) -> (rule4 % int2))) -> (rule8 % int4))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Fiona is not blue.
False
1
inv-proof
[(triple8 OR ((((triple12 triple9) -> rule5)) -> rule4) OR ((((triple9) -> rule1) ((triple12 triple9) -> rule5)) -> rule3) OR ((((triple12 ((triple12 triple9) -> rule5)) -> rule2) ((triple12 triple9) -> rule5)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule5)) -> rule4) OR ((((triple9) -> rule1) ((((((triple9) -> rule1)) -> rule6) triple9) -> rule5)) -> rule3) OR ((((triple12 ((triple12 triple9) -> rule5)) -> rule2) ((((((triple9) -> rule1)) -> rule6) triple9) -> rule5)) -> rule3))]
("Fiona" "is" "blue" "-")
triple8
((((triple12 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple12 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple12 ((triple12 triple9) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple9) -> (rule5 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule1 % int4)) ((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple12 ((triple12 triple9) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int4))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is smart.
True
3
proof
[(((triple12 triple9) -> rule5) OR ((triple12 ((triple8) -> rule8)) -> rule5) OR ((((triple8 triple9) -> rule7) triple9) -> rule5) OR ((((triple8 triple9) -> rule7) ((triple8) -> rule8)) -> rule5) OR ((((((triple9) -> rule1)) -> rule6) triple9) -> rule5) OR ((((triple8 ((triple8) -> rule8)) -> rule7) triple9) -> rule5) OR ((((((triple9) -> rule1)) -> rule6) ((triple8) -> rule8)) -> rule5) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple8) -> rule8)) -> rule5) OR ((((((((triple8) -> rule8)) -> rule1)) -> rule6) triple9) -> rule5) OR ((((((((triple8) -> rule8)) -> rule1)) -> rule6) ((triple8) -> rule8)) -> rule5))]
("Fiona" "is" "smart" "+")
((triple12 triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple12 ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple8 triple9) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple8 triple9) -> (rule7 % int3)) ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) ((triple8) -> (rule8 % int3))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple8) -> (rule8 % int4))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is not smart.
False
3
inv-proof
[(((triple12 triple9) -> rule5) OR ((triple12 ((triple8) -> rule8)) -> rule5) OR ((((triple8 triple9) -> rule7) triple9) -> rule5) OR ((((triple8 triple9) -> rule7) ((triple8) -> rule8)) -> rule5) OR ((((((triple9) -> rule1)) -> rule6) triple9) -> rule5) OR ((((triple8 ((triple8) -> rule8)) -> rule7) triple9) -> rule5) OR ((((((triple9) -> rule1)) -> rule6) ((triple8) -> rule8)) -> rule5) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple8) -> rule8)) -> rule5) OR ((((((((triple8) -> rule8)) -> rule1)) -> rule6) triple9) -> rule5) OR ((((((((triple8) -> rule8)) -> rule1)) -> rule6) ((triple8) -> rule8)) -> rule5))]
("Fiona" "is" "smart" "-")
((triple12 triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple12 ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple8 triple9) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple8 triple9) -> (rule7 % int3)) ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) ((triple8) -> (rule8 % int3))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple8) -> (rule8 % int4))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Charlie is round.
True
3
proof
[(((((triple4) -> rule9)) -> rule1))]
("Charlie" "is" "round" "+")
((((triple4) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((((triple4) -> rule9)) -> rule1))]
("Charlie" "is" "round" "-")
((((triple4) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
True
4
proof
[(((((((triple4) -> rule9)) -> rule1)) -> rule6))]
("Charlie" "is" "white" "+")
((((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not white.
False
4
inv-proof
[(((((((triple4) -> rule9)) -> rule1)) -> rule6))]
("Charlie" "is" "white" "-")
((((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
True
7
proof
[(((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5))]
("Charlie" "is" "smart" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple4) -> (rule9 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is not smart.
False
7
inv-proof
[(((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5))]
("Charlie" "is" "smart" "-")
((((((((triple4) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple4) -> (rule9 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
True
8
proof
[(((((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule9)) -> rule1) ((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule3))]
("Charlie" "is" "blue" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple4) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is not blue.
False
8
inv-proof
[(((((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule9)) -> rule1) ((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule3))]
("Charlie" "is" "blue" "-")
((((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple4) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Erin is not round.
Unknown
inv-rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule8 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is white.
Unknown
rconc
[@3: Erin is white.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule8 <- FAIL)]]
("Erin" "is" "white" "+")
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is smart.
Unknown
rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("Erin" "is" "smart" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2 OR ((triple3 ((triple1) -> rule9)) -> rule5) OR ((((((((triple1) -> rule9)) -> rule1)) -> rule6) ((triple1) -> rule9)) -> rule5))] Anne is white.[(triple3 OR ((((triple2) -> rule4) ((triple1) -> rule9)) -> rule7) OR ((((((triple1) -> rule9)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule4)) -> rule8)) -> rule1)) -> rule6) OR ((((((((triple1) -> rule9)) -> rule1) triple2) -> rule3) ((triple1) -> rule9)) -> rule7) OR ((((((((triple1) -> rule9)) -> rule1) triple2) -> rule3) ((((triple2) -> rule4)) -> rule8)) -> rule7))] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Erin is not blue.[(triple6)] Erin is not rough.[(triple7)] Fiona is blue.[(triple8 OR ((((triple12 triple9) -> rule5)) -> rule4) OR ((((triple9) -> rule1) ((triple12 triple9) -> rule5)) -> rule3) OR ((((triple12 ((triple12 triple9) -> rule5)) -> rule2) ((triple12 triple9) -> rule5)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule5)) -> rule4) OR ((((triple9) -> rule1) ((((((triple9) -> rule1)) -> rule6) triple9) -> rule5)) -> rule3) OR ((((triple12 ((triple12 triple9) -> rule5)) -> rule2) ((((((triple9) -> rule1)) -> rule6) triple9) -> rule5)) -> rule3))] Fiona is green.[(triple9 OR ((triple8) -> rule8))] Fiona is not nice.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12 OR ((triple8 triple9) -> rule7) OR ((((triple9) -> rule1)) -> rule6) OR ((triple8 ((triple8) -> rule8)) -> rule7) OR ((((((triple8) -> rule8)) -> rule1)) -> rule6))] @1: Anne is blue.[(((triple2) -> rule4) OR ((((triple3 triple2) -> rule2) triple2) -> rule3) OR ((((triple3 ((triple1) -> rule9)) -> rule5)) -> rule4) OR ((((((triple1) -> rule9)) -> rule1) triple2) -> rule3) OR ((((triple3 triple2) -> rule2) ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule3) OR ((((((triple1) -> rule9)) -> rule1) ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule3) OR ((((triple3 ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule2) triple2) -> rule3) OR ((((triple3 ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule2) ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule3) OR ((((((((((triple1) -> rule9)) -> rule1)) -> rule6) ((triple1) -> rule9)) -> rule5)) -> rule4) OR ((((triple3 triple2) -> rule2) ((((((((triple1) -> rule9)) -> rule1)) -> rule6) ((triple1) -> rule9)) -> rule5)) -> rule3) OR ((((((triple1) -> rule9)) -> rule1) ((((((((triple1) -> rule9)) -> rule1)) -> rule6) ((triple1) -> rule9)) -> rule5)) -> rule3) OR ((((triple3 ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule2) ((((((((triple1) -> rule9)) -> rule1)) -> rule6) ((triple1) -> rule9)) -> rule5)) -> rule3))] Anne is green.[(((triple1) -> rule9) OR ((((triple2) -> rule4)) -> rule8) OR ((((((triple3 triple2) -> rule2) triple2) -> rule3)) -> rule8))] Anne is round.[(((triple3 triple2) -> rule2) OR ((((triple1) -> rule9)) -> rule1) OR ((((((triple2) -> rule4)) -> rule8)) -> rule1) OR ((triple3 ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple1) -> rule9)) -> rule7) triple2) -> rule2) OR ((((((triple2) -> rule4) ((triple1) -> rule9)) -> rule7) ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule8)) -> rule7) triple2) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule8)) -> rule7) ((triple3 ((triple1) -> rule9)) -> rule5)) -> rule2))] Charlie is green.[(((triple4) -> rule9))] Fiona is round.[(((triple9) -> rule1) OR ((((triple8) -> rule8)) -> rule1) OR ((triple12 ((triple12 triple9) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule7) ((triple12 triple9) -> rule5)) -> rule2) OR ((triple12 ((triple12 ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((triple12 ((((triple8 triple9) -> rule7) triple9) -> rule5)) -> rule2) OR ((triple12 ((((triple8 triple9) -> rule7) ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule7) ((triple12 ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule7) ((((triple8 triple9) -> rule7) triple9) -> rule5)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple12 triple9) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule7) ((((triple8 triple9) -> rule7) ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple12 ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((((triple8 triple9) -> rule7) triple9) -> rule5)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((((triple8 triple9) -> rule7) ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((triple12 ((((triple8 ((triple8) -> rule8)) -> rule7) triple9) -> rule5)) -> rule2) OR ((triple12 ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule7) ((((triple8 ((triple8) -> rule8)) -> rule7) triple9) -> rule5)) -> rule2) OR ((((triple8 triple9) -> rule7) ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple8) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((((triple8 ((triple8) -> rule8)) -> rule7) triple9) -> rule5)) -> rule2) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple8) -> rule8)) -> rule5)) -> rule2))] Fiona is smart.[(((triple12 triple9) -> rule5) OR ((triple12 ((triple8) -> rule8)) -> rule5) OR ((((triple8 triple9) -> rule7) triple9) -> rule5) OR ((((triple8 triple9) -> rule7) ((triple8) -> rule8)) -> rule5) OR ((((((triple9) -> rule1)) -> rule6) triple9) -> rule5) OR ((((triple8 ((triple8) -> rule8)) -> rule7) triple9) -> rule5) OR ((((((triple9) -> rule1)) -> rule6) ((triple8) -> rule8)) -> rule5) OR ((((triple8 ((triple8) -> rule8)) -> rule7) ((triple8) -> rule8)) -> rule5) OR ((((((((triple8) -> rule8)) -> rule1)) -> rule6) triple9) -> rule5) OR ((((((((triple8) -> rule8)) -> rule1)) -> rule6) ((triple8) -> rule8)) -> rule5))] @2: Charlie is round.[(((((triple4) -> rule9)) -> rule1))] @3: Charlie is white.[(((((((triple4) -> rule9)) -> rule1)) -> rule6))] @4: Charlie is smart.[(((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5))] @5: Charlie is blue.[(((((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule4) OR ((((((triple4) -> rule9)) -> rule1) ((((((((triple4) -> rule9)) -> rule1)) -> rule6) ((triple4) -> rule9)) -> rule5)) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
((triple3 ((triple1) -> (rule9 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((((triple1) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1) -> (rule9 % int4))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
triple3
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule9 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple1) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((((triple2) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) triple2) -> (rule3 % int2)) ((triple1) -> (rule9 % int4))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) triple2) -> (rule3 % int2)) ((((triple2) -> (rule4 % int2))) -> (rule8 % int4))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Erin is not blue.
("Erin" "is" "blue" "-")
triple6
Erin is not rough.
("Erin" "is" "rough" "-")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
((((triple12 triple9) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple12 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple12 ((triple12 triple9) -> (rule5 % int3))) -> (rule2 % int2)) ((triple12 triple9) -> (rule5 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule1 % int4)) ((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple12 ((triple12 triple9) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int4))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
triple9
((triple8) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple8 triple9) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple8 ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3 ((triple1) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1) -> (rule9 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple3 triple2) -> (rule2 % int4)) ((triple3 ((triple1) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple1) -> (rule9 % int4))) -> (rule1 % int3)) ((triple3 ((triple1) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple3 ((triple3 ((triple1) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple3 ((triple3 ((triple1) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple3 ((triple1) -> (rule9 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((((triple1) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple1) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((triple3 triple2) -> (rule2 % int5)) ((((((((triple1) -> (rule9 % int4))) -> (rule1 % int5))) -> (rule6 % int3)) ((triple1) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple1) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple1) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((((triple3 ((triple3 ((triple1) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((((((triple1) -> (rule9 % int5))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple1) -> (rule9 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule9 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple3 triple2) -> (rule2 % int3)) triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((triple3 triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple1) -> (rule9 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple3 ((triple3 ((triple1) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule9 % int3))) -> (rule7 % int2)) triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple2) -> (rule4 % int5)) ((triple1) -> (rule9 % int4))) -> (rule7 % int3)) ((triple3 ((triple1) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple2) -> (rule4 % int4)) ((((triple2) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple2) -> (rule4 % int5)) ((((triple2) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple3 ((triple1) -> (rule9 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
((triple4) -> (rule9 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple9) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple12 ((triple12 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple8 triple9) -> (rule7 % int3)) ((triple12 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple12 ((triple12 ((triple8) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple12 ((((triple8 triple9) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple12 ((((triple8 triple9) -> (rule7 % int4)) ((triple8) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple8 triple9) -> (rule7 % int4)) ((triple12 ((triple8) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple8 triple9) -> (rule7 % int3)) ((((triple8 triple9) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((triple12 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple8 triple9) -> (rule7 % int4)) ((((triple8 triple9) -> (rule7 % int4)) ((triple8) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((triple12 ((triple8) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8 triple9) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8 triple9) -> (rule7 % int3)) ((triple8) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((triple12 ((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((triple12 ((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((triple8) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple8 triple9) -> (rule7 % int4)) ((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int4)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple8 triple9) -> (rule7 % int4)) ((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int4)) ((triple8) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) ((triple8) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple12 triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple12 ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple8 triple9) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple8 triple9) -> (rule7 % int3)) ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) ((triple8) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple8 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) ((triple8) -> (rule8 % int3))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple8) -> (rule8 % int4))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple4) -> (rule9 % int4))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((triple4) -> (rule9 % int5))) -> (rule1 % int4)) ((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple4) -> (rule9 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5