Anne is cold. Anne is kind. Anne is red. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is red. Fiona is white. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is white. All white things are kind. If Fiona is quiet then Fiona is furry. All red, kind things are quiet. All nice things are furry. If something is quiet then it is white. If something is quiet then it is nice. All cold, red things are kind. All red, kind things are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
All white things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If Fiona is quiet then Fiona is furry.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "furry" "+"))
All red, kind things are quiet.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
All nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is quiet then it is nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
All cold, red things are kind.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All red, kind things are cold.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Gary is furry.
True
1
proof
[(triple10 OR ((triple12) -> rule4) OR ((((triple13) -> rule6)) -> rule4) OR ((((((triple14 triple11) -> rule3)) -> rule6)) -> rule4) OR ((((((triple14 ((triple15) -> rule1)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple14 ((triple9 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule4))]
("Gary" "is" "furry" "+")
triple10
((triple12) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple13) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple14 triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple14 ((triple15) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple14 ((triple9 triple14) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Fiona is not nice.
False
1
inv-proof
[(triple6 OR ((((triple7 ((triple8) -> rule1)) -> rule3)) -> rule6) OR ((((triple7 ((triple4 triple7) -> rule7)) -> rule3)) -> rule6))]
("Fiona" "is" "nice" "-")
triple6
((((triple7 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple7 ((triple4 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Anne is quiet.
True
3
proof
[(((triple3 triple2) -> rule3) OR ((triple3 ((triple1 triple3) -> rule7)) -> rule3))]
("Anne" "is" "quiet" "+")
((triple3 triple2) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not quiet.
False
3
inv-proof
[(((triple3 triple2) -> rule3) OR ((triple3 ((triple1 triple3) -> rule7)) -> rule3))]
("Anne" "is" "quiet" "-")
((triple3 triple2) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Fiona is quiet.
True
4
proof
[(((triple7 ((triple8) -> rule1)) -> rule3) OR ((triple7 ((triple4 triple7) -> rule7)) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple7 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple7 ((triple4 triple7) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((triple7 ((triple8) -> rule1)) -> rule3) OR ((triple7 ((triple4 triple7) -> rule7)) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple7 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple7 ((triple4 triple7) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is furry.
True
5
proof
[(((((((triple3 triple2) -> rule3)) -> rule6)) -> rule4) OR ((((((triple3 ((triple1 triple3) -> rule7)) -> rule3)) -> rule6)) -> rule4))]
("Anne" "is" "furry" "+")
((((((triple3 triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is not furry.
False
5
inv-proof
[(((((((triple3 triple2) -> rule3)) -> rule6)) -> rule4) OR ((((((triple3 ((triple1 triple3) -> rule7)) -> rule3)) -> rule6)) -> rule4))]
("Anne" "is" "furry" "-")
((((((triple3 triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule8))] Anne is kind.[(triple2 OR ((triple1 triple3) -> rule7))] Anne is red.[(triple3)] Fiona is cold.[(triple4 OR ((triple7 ((triple8) -> rule1)) -> rule8))] Fiona is furry.[(triple5 OR ((triple6) -> rule4) OR ((((triple7 ((triple8) -> rule1)) -> rule3)) -> rule2) OR ((((triple7 ((triple4 triple7) -> rule7)) -> rule3)) -> rule2) OR ((((((triple7 ((triple8) -> rule1)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple7 ((triple4 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule4))] Fiona is nice.[(triple6 OR ((((triple7 ((triple8) -> rule1)) -> rule3)) -> rule6) OR ((((triple7 ((triple4 triple7) -> rule7)) -> rule3)) -> rule6))] Fiona is red.[(triple7)] Fiona is white.[(triple8 OR ((((triple7 ((triple4 triple7) -> rule7)) -> rule3)) -> rule5))] Gary is cold.[(triple9 OR ((triple14 triple11) -> rule8) OR ((triple14 ((triple15) -> rule1)) -> rule8) OR ((triple14 ((((triple13) -> rule5)) -> rule1)) -> rule8))] Gary is furry.[(triple10 OR ((triple12) -> rule4) OR ((((triple13) -> rule6)) -> rule4) OR ((((((triple14 triple11) -> rule3)) -> rule6)) -> rule4) OR ((((((triple14 ((triple15) -> rule1)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple14 ((triple9 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule4))] Gary is kind.[(triple11 OR ((triple15) -> rule1) OR ((triple9 triple14) -> rule7) OR ((((triple13) -> rule5)) -> rule1))] Gary is nice.[(triple12 OR ((triple13) -> rule6) OR ((((triple14 triple11) -> rule3)) -> rule6) OR ((((triple14 ((triple15) -> rule1)) -> rule3)) -> rule6) OR ((((triple14 ((triple9 triple14) -> rule7)) -> rule3)) -> rule6))] Gary is quiet.[(triple13 OR ((triple14 triple11) -> rule3) OR ((triple14 ((triple15) -> rule1)) -> rule3) OR ((triple14 ((triple9 triple14) -> rule7)) -> rule3))] Gary is red.[(triple14)] Gary is white.[(triple15 OR ((triple13) -> rule5) OR ((((triple14 triple11) -> rule3)) -> rule5) OR ((((triple14 ((triple9 triple14) -> rule7)) -> rule3)) -> rule5))] @1: Anne is quiet.[(((triple3 triple2) -> rule3) OR ((triple3 ((triple1 triple3) -> rule7)) -> rule3))] Fiona is kind.[(((triple8) -> rule1) OR ((triple4 triple7) -> rule7))] @2: Anne is nice.[(((((triple3 triple2) -> rule3)) -> rule6) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule3)) -> rule6))] Anne is white.[(((((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple1 triple3) -> rule7)) -> rule3)) -> rule5))] Fiona is quiet.[(((triple7 ((triple8) -> rule1)) -> rule3) OR ((triple7 ((triple4 triple7) -> rule7)) -> rule3))] @3: Anne is furry.[(((((((triple3 triple2) -> rule3)) -> rule6)) -> rule4) OR ((((((triple3 ((triple1 triple3) -> rule7)) -> rule3)) -> rule6)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple1 triple3) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple7 ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple6) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple7 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple7 ((triple4 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple7 ((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple7 ((triple4 triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((((triple7 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple7 ((triple4 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
((((triple7 ((triple4 triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple9
((triple14 triple11) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple14 ((triple15) -> (rule1 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((triple14 ((((triple13) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
triple10
((triple12) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple13) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple14 triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple14 ((triple15) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple14 ((triple9 triple14) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((triple15) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple9 triple14) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple12
((triple13) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple14 triple11) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple14 ((triple15) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple14 ((triple9 triple14) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
((triple14 triple11) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14 ((triple15) -> (rule1 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((triple14 ((triple9 triple14) -> (rule7 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
((triple13) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple14 triple11) -> (rule3 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple14 ((triple9 triple14) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3 triple2) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple3 ((triple1 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple4 triple7) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple3 ((triple1 triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple3 ((triple1 triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple7 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple7 ((triple4 triple7) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((((((triple3 triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3 ((triple1 triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4