Anne is big. Anne is cold. Anne is furry. Anne is quiet. Anne is round. Charlie is furry. Charlie is quiet. Charlie is round. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Harry is blue. Harry is cold. Harry is furry. All big, quiet people are blue. Round, furry people are nice. If Charlie is quiet then Charlie is nice. Nice people are big. Big people are furry. All quiet, furry people are cold. Quiet, cold people are round. All cold people are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
All big, quiet people are blue.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Round, furry people are nice.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If Charlie is quiet then Charlie is nice.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "nice" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
All quiet, furry people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Quiet, cold people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Anne is big.
True
1
proof
[(triple1 OR ((((triple5 triple3) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule7) triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2)) -> rule4))]
("Anne" "is" "big" "+")
triple1
((((triple5 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple4 triple2) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple4 ((triple4 triple3) -> (rule6 % int4))) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is not big.
False
1
inv-proof
[(triple1 OR ((((triple5 triple3) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule7) triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2)) -> rule4))]
("Anne" "is" "big" "-")
triple1
((((triple5 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple4 triple2) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple4 ((triple4 triple3) -> (rule6 % int4))) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Harry is not big.
Unknown
inv-rconc
[@3: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule7 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is big.[(triple1 OR ((((triple5 triple3) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule7) triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2)) -> rule4))] Anne is cold.[(triple2 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple1) -> rule5)) -> rule6))] Anne is furry.[(triple3 OR ((triple1) -> rule5))] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple4 triple2) -> rule7) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule7) OR ((triple4 ((triple4 ((triple1) -> rule5)) -> rule6)) -> rule7))] Charlie is furry.[(triple6 OR ((((((triple7) -> rule3)) -> rule4)) -> rule5))] Charlie is quiet.[(triple7)] Charlie is round.[(triple8 OR ((triple7 ((triple7 triple6) -> rule6)) -> rule7) OR ((triple7 ((triple7 ((((((triple7) -> rule3)) -> rule4)) -> rule5)) -> rule6)) -> rule7))] Fiona is big.[(triple9 OR ((triple11) -> rule4) OR ((((((triple12 ((triple12 triple10) -> rule6)) -> rule7) triple10) -> rule2)) -> rule4))] Fiona is furry.[(triple10 OR ((triple9) -> rule5) OR ((((triple11) -> rule4)) -> rule5))] Fiona is nice.[(triple11 OR ((((triple12 ((triple12 triple10) -> rule6)) -> rule7) triple10) -> rule2) OR ((((triple12 ((triple12 triple10) -> rule6)) -> rule7) ((triple9) -> rule5)) -> rule2) OR ((((triple12 ((triple12 ((triple9) -> rule5)) -> rule6)) -> rule7) triple10) -> rule2) OR ((((triple12 ((triple12 ((triple9) -> rule5)) -> rule6)) -> rule7) ((triple9) -> rule5)) -> rule2))] Fiona is quiet.[(triple12)] Harry is blue.[(triple13 OR ((triple14) -> rule8))] Harry is cold.[(triple14)] Harry is furry.[(triple15)] @1: Anne is blue.[(((triple2) -> rule8) OR ((triple1 triple4) -> rule1) OR ((((triple4 triple3) -> rule6)) -> rule8) OR ((((triple4 ((triple1) -> rule5)) -> rule6)) -> rule8) OR ((((((triple5 triple3) -> rule2)) -> rule4) triple4) -> rule1) OR ((((((((triple4 triple2) -> rule7) triple3) -> rule2)) -> rule4) triple4) -> rule1) OR ((((((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2)) -> rule4) triple4) -> rule1))] Anne is nice.[(((triple5 triple3) -> rule2) OR ((triple5 ((triple1) -> rule5)) -> rule2) OR ((((triple4 triple2) -> rule7) triple3) -> rule2) OR ((((triple4 triple2) -> rule7) ((triple1) -> rule5)) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule6)) -> rule7) ((triple1) -> rule5)) -> rule2) OR ((((triple4 ((triple4 ((triple1) -> rule5)) -> rule6)) -> rule7) triple3) -> rule2) OR ((((triple4 ((triple4 ((triple1) -> rule5)) -> rule6)) -> rule7) ((triple1) -> rule5)) -> rule2))] Charlie is cold.[(((triple7 triple6) -> rule6) OR ((triple7 ((((((triple7) -> rule3)) -> rule4)) -> rule5)) -> rule6))] Charlie is nice.[(((triple7) -> rule3) OR ((triple8 triple6) -> rule2) OR ((((triple7 ((triple7 triple6) -> rule6)) -> rule7) triple6) -> rule2))] Fiona is blue.[(((triple9 triple12) -> rule1) OR ((((triple12 triple10) -> rule6)) -> rule8) OR ((((triple11) -> rule4) triple12) -> rule1) OR ((((triple12 ((triple9) -> rule5)) -> rule6)) -> rule8) OR ((((triple12 ((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule8) OR ((((((((triple12 ((triple12 triple10) -> rule6)) -> rule7) triple10) -> rule2)) -> rule4) triple12) -> rule1))] Fiona is cold.[(((triple12 triple10) -> rule6) OR ((triple12 ((triple9) -> rule5)) -> rule6) OR ((triple12 ((((triple11) -> rule4)) -> rule5)) -> rule6))] @2: Charlie is big.[(((((triple7) -> rule3)) -> rule4) OR ((((triple8 triple6) -> rule2)) -> rule4) OR ((((((triple7 ((triple7 triple6) -> rule6)) -> rule7) triple6) -> rule2)) -> rule4))] Charlie is blue.[(((((triple7 triple6) -> rule6)) -> rule8) OR ((((((triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple8 triple6) -> rule2)) -> rule4) triple7) -> rule1) OR ((((triple7 ((((((triple7) -> rule3)) -> rule4)) -> rule5)) -> rule6)) -> rule8) OR ((((((((triple7 ((triple7 triple6) -> rule6)) -> rule7) triple6) -> rule2)) -> rule4) triple7) -> rule1))] Fiona is round.[(((triple12 ((triple12 triple10) -> rule6)) -> rule7) OR ((triple12 ((triple12 ((triple9) -> rule5)) -> rule6)) -> rule7) OR ((triple12 ((triple12 ((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple5 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple4 triple2) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple4 ((triple4 triple3) -> (rule6 % int4))) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple4 triple3) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple4 ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple1) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple4 triple2) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple4 ((triple4 triple3) -> (rule6 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple4 ((triple4 ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
((((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
((triple7 ((triple7 triple6) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((triple7 ((triple7 ((((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
triple9
((triple11) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple12 ((triple12 triple10) -> (rule6 % int4))) -> (rule7 % int3)) triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
((triple9) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
((((triple12 ((triple12 triple10) -> (rule6 % int3))) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple12 ((triple12 triple10) -> (rule6 % int4))) -> (rule7 % int3)) ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple12 ((triple12 ((triple9) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((triple12 ((triple12 ((triple9) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int4))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
((triple14) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is furry.
("Harry" "is" "furry" "+")
triple15
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple1 triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple4 triple3) -> (rule6 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4 ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((((triple4 triple2) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple4 ((triple4 triple3) -> (rule6 % int5))) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
((triple5 triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple5 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple4 triple2) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple4 triple2) -> (rule7 % int3)) ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple4 ((triple4 triple3) -> (rule6 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple4 ((triple4 triple3) -> (rule6 % int4))) -> (rule7 % int3)) ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple4 ((triple4 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple4 ((triple4 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple1) -> (rule5 % int4))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple7 triple6) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 ((((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple8 triple6) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple7 ((triple7 triple6) -> (rule6 % int3))) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple9 triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple12 triple10) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple11) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple12 ((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple12 ((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple12 ((triple12 triple10) -> (rule6 % int5))) -> (rule7 % int4)) triple10) -> (rule2 % int3))) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple12 triple10) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple12 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple12 ((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple8 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((triple7 ((triple7 triple6) -> (rule6 % int4))) -> (rule7 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple7 triple6) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple8 triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple7 ((((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((triple7 ((triple7 triple6) -> (rule6 % int5))) -> (rule7 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
((triple12 ((triple12 triple10) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple12 ((triple12 ((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((triple12 ((triple12 ((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4