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