Anne is kind. Anne is white. Bob is green. Bob is quiet. Bob is smart. Fiona is green. Fiona is kind. Harry is furry. Harry is quiet. Harry is smart. Kind things are quiet. Quiet, green things are smart. If something is furry then it is smart. All smart things are white. If something is furry then it is quiet. Furry things are green. Big, quiet things are furry. All quiet, white things are big.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Kind things are quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Quiet, green things are smart.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is furry then it is smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
All smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is furry then it is quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Big, quiet things are furry.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All quiet, white things are big.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Anne is white.
True
1
proof
[(triple2)]
("Anne" "is" "white" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple3 OR ((((((triple4 ((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule6))]
("Bob" "is" "green" "-")
triple3
((((((triple4 ((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is white.
True
2
proof
[(((triple5) -> rule4) OR ((((triple4 triple3) -> rule2)) -> rule4))]
("Bob" "is" "white" "+")
((triple5) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not white.
False
2
inv-proof
[(((triple5) -> rule4) OR ((((triple4 triple3) -> rule2)) -> rule4))]
("Bob" "is" "white" "-")
((triple5) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
True
4
proof
[(((triple4 ((triple5) -> rule4)) -> rule8) OR ((triple4 ((((triple4 triple3) -> rule2)) -> rule4)) -> rule8))]
("Bob" "is" "big" "+")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple4 ((((triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Fiona is not smart.
False
4
inv-proof
[(((((triple7) -> rule1) triple6) -> rule2))]
("Fiona" "is" "smart" "-")
((((triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
True
5
proof
[(((((((triple7) -> rule1) triple6) -> rule2)) -> rule4))]
("Fiona" "is" "white" "+")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not white.
False
5
inv-proof
[(((((((triple7) -> rule1) triple6) -> rule2)) -> rule4))]
("Fiona" "is" "white" "-")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
True
8
proof
[(((((triple7) -> rule1) ((((((triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule8))]
("Fiona" "is" "big" "+")
((((triple7) -> (rule1 % int4)) ((((((triple7) -> (rule1 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Anne is not smart.
False
8
inv-proof
[(((((((((triple1) -> rule1) triple2) -> rule8) ((triple1) -> rule1)) -> rule7)) -> rule3) OR ((((triple1) -> rule1) ((((((((triple1) -> rule1) triple2) -> rule8) ((triple1) -> rule1)) -> rule7)) -> rule6)) -> rule2))]
("Anne" "is" "smart" "-")
((((((((triple1) -> (rule1 % int4)) triple2) -> (rule8 % int3)) ((triple1) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple1) -> (rule1 % int5)) ((((((((triple1) -> (rule1 % int5)) triple2) -> (rule8 % int4)) ((triple1) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Fiona is furry.
True
11
proof
[(((((((triple7) -> rule1) ((((((triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule8) ((triple7) -> rule1)) -> rule7))]
("Fiona" "is" "furry" "+")
((((((triple7) -> (rule1 % int5)) ((((((triple7) -> (rule1 % int5)) triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple7) -> (rule1 % int5))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is not furry.
False
11
inv-proof
[(((((((triple7) -> rule1) ((((((triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule8) ((triple7) -> rule1)) -> rule7))]
("Fiona" "is" "furry" "-")
((((((triple7) -> (rule1 % int5)) ((((((triple7) -> (rule1 % int5)) triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple7) -> (rule1 % int5))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Anne is white.[(triple2)] Bob is green.[(triple3 OR ((((((triple4 ((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule6))] Bob is quiet.[(triple4)] Bob is smart.[(triple5 OR ((triple4 triple3) -> rule2))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Harry is furry.[(triple8 OR ((((triple9 ((triple10) -> rule4)) -> rule8) triple9) -> rule7))] Harry is quiet.[(triple9 OR ((triple8) -> rule5))] Harry is smart.[(triple10 OR ((triple8) -> rule3) OR ((triple9 ((triple8) -> rule6)) -> rule2) OR ((((triple8) -> rule5) ((triple8) -> rule6)) -> rule2))] @1: Anne is quiet.[(((triple1) -> rule1))] Bob is white.[(((triple5) -> rule4) OR ((((triple4 triple3) -> rule2)) -> rule4))] Fiona is quiet.[(((triple7) -> rule1))] Harry is green.[(((triple8) -> rule6) OR ((((((triple9 ((triple10) -> rule4)) -> rule8) triple9) -> rule7)) -> rule6))] Harry is white.[(((triple10) -> rule4) OR ((((triple8) -> rule3)) -> rule4) OR ((((triple9 ((triple8) -> rule6)) -> rule2)) -> rule4) OR ((((((triple8) -> rule5) ((triple8) -> rule6)) -> rule2)) -> rule4))] @2: Anne is big.[(((((triple1) -> rule1) triple2) -> rule8))] Bob is big.[(((triple4 ((triple5) -> rule4)) -> rule8) OR ((triple4 ((((triple4 triple3) -> rule2)) -> rule4)) -> rule8))] Fiona is smart.[(((((triple7) -> rule1) triple6) -> rule2))] Harry is big.[(((triple9 ((triple10) -> rule4)) -> rule8) OR ((((triple8) -> rule5) ((triple10) -> rule4)) -> rule8) OR ((triple9 ((((triple8) -> rule3)) -> rule4)) -> rule8) OR ((((triple8) -> rule5) ((((triple8) -> rule3)) -> rule4)) -> rule8) OR ((triple9 ((((triple9 ((triple8) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((triple9 ((((((triple8) -> rule5) ((triple8) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((triple8) -> rule5) ((((triple9 ((triple8) -> rule6)) -> rule2)) -> rule4)) -> rule8) OR ((((triple8) -> rule5) ((((((triple8) -> rule5) ((triple8) -> rule6)) -> rule2)) -> rule4)) -> rule8))] @3: Anne is furry.[(((((((triple1) -> rule1) triple2) -> rule8) ((triple1) -> rule1)) -> rule7))] Bob is furry.[(((((triple4 ((triple5) -> rule4)) -> rule8) triple4) -> rule7) OR ((((triple4 ((((triple4 triple3) -> rule2)) -> rule4)) -> rule8) triple4) -> rule7))] Fiona is white.[(((((((triple7) -> rule1) triple6) -> rule2)) -> rule4))] @4: Anne is green.[(((((((((triple1) -> rule1) triple2) -> rule8) ((triple1) -> rule1)) -> rule7)) -> rule6))] Anne is smart.[(((((((((triple1) -> rule1) triple2) -> rule8) ((triple1) -> rule1)) -> rule7)) -> rule3) OR ((((triple1) -> rule1) ((((((((triple1) -> rule1) triple2) -> rule8) ((triple1) -> rule1)) -> rule7)) -> rule6)) -> rule2))] Fiona is big.[(((((triple7) -> rule1) ((((((triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule8))] @5: Fiona is furry.[(((((((triple7) -> rule1) ((((((triple7) -> rule1) triple6) -> rule2)) -> rule4)) -> rule8) ((triple7) -> rule1)) -> rule7))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((((((triple4 ((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple4 triple3) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
((((triple9 ((triple10) -> (rule4 % int3))) -> (rule8 % int2)) triple9) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
((triple8) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple10
((triple8) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple9 ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple8) -> (rule5 % int3)) ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple5) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple8) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((((triple9 ((triple10) -> (rule4 % int4))) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple9 ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple8) -> (rule5 % int4)) ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple4 ((((triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple7) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple9 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple8) -> (rule5 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple9 ((((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple8) -> (rule5 % int4)) ((((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple9 ((((triple9 ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple9 ((((((triple8) -> (rule5 % int5)) ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple8) -> (rule5 % int5)) ((((triple9 ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple8) -> (rule5 % int5)) ((((((triple8) -> (rule5 % int5)) ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
((((((triple1) -> (rule1 % int3)) triple2) -> (rule8 % int2)) ((triple1) -> (rule1 % int3))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((triple4 ((triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple4 ((((triple4 triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple7) -> (rule1 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((((((((triple1) -> (rule1 % int4)) triple2) -> (rule8 % int3)) ((triple1) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((((((triple1) -> (rule1 % int4)) triple2) -> (rule8 % int3)) ((triple1) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple1) -> (rule1 % int5)) ((((((((triple1) -> (rule1 % int5)) triple2) -> (rule8 % int4)) ((triple1) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
((((triple7) -> (rule1 % int4)) ((((((triple7) -> (rule1 % int4)) triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple7) -> (rule1 % int5)) ((((((triple7) -> (rule1 % int5)) triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple7) -> (rule1 % int5))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5