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