Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Bob is big. Bob is furry. Bob is nice. Bob is quiet. Erin is cold. Erin is nice. Erin is quiet. Gary is big. Gary is cold. Gary is rough. All cold, furry people are kind. If someone is furry then they are rough. If Erin is cold and Erin is furry then Erin is big. Furry, cold people are big. Nice people are rough. Cold, kind people are nice. If someone is cold then they are nice. If someone is rough and quiet then they are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All cold, furry people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry then they are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If Erin is cold and Erin is furry then Erin is big.
((("Erin" "is" "cold" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "+"))
Furry, cold people are big.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Cold, kind people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and quiet then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Bob is quiet.
True
1
proof
[(triple10)]
("Bob" "is" "quiet" "+")
triple10
Anne is not big.
False
1
inv-proof
[(triple1 OR ((((triple6 triple5) -> rule8) triple2) -> rule4) OR ((((((triple4) -> rule5) triple5) -> rule8) triple2) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple5) -> rule8) triple2) -> rule4) OR ((((((((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule8) triple2) -> rule4))]
("Anne" "is" "big" "-")
triple1
((((triple6 triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple4) -> (rule5 % int3)) triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple2 triple3) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is furry.
True
3
proof
[(((triple6 triple5) -> rule8) OR ((((triple4) -> rule5) triple5) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) triple5) -> rule8) OR ((((((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule8))]
("Anne" "is" "furry" "+")
((triple6 triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple4) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2 triple3) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is not furry.
False
3
inv-proof
[(((triple6 triple5) -> rule8) OR ((((triple4) -> rule5) triple5) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) triple5) -> rule8) OR ((((((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule8))]
("Anne" "is" "furry" "-")
((triple6 triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple4) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2 triple3) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Erin is furry.
True
4
proof
[(((((triple12) -> rule5) triple13) -> rule8) OR ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8))]
("Erin" "is" "furry" "+")
((((triple12) -> (rule5 % int2)) triple13) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple11) -> (rule7 % int3))) -> (rule5 % int2)) triple13) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is not furry.
False
4
inv-proof
[(((((triple12) -> rule5) triple13) -> rule8) OR ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8))]
("Erin" "is" "furry" "-")
((((triple12) -> (rule5 % int2)) triple13) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple11) -> (rule7 % int3))) -> (rule5 % int2)) triple13) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
True
6
proof
[(((triple11 ((((triple12) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((triple12) -> rule5) triple13) -> rule8) triple11) -> rule4) OR ((triple11 ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((((triple11) -> rule7)) -> rule5) triple13) -> rule8) triple11) -> rule4))]
("Erin" "is" "big" "+")
((triple11 ((((triple12) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple12) -> (rule5 % int3)) triple13) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple11 ((((((triple11) -> (rule7 % int4))) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule5 % int3)) triple13) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is not big.
False
6
inv-proof
[(((triple11 ((((triple12) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((triple12) -> rule5) triple13) -> rule8) triple11) -> rule4) OR ((triple11 ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((((triple11) -> rule7)) -> rule5) triple13) -> rule8) triple11) -> rule4))]
("Erin" "is" "big" "-")
((triple11 ((((triple12) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple12) -> (rule5 % int3)) triple13) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple11 ((((((triple11) -> (rule7 % int4))) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule5 % int3)) triple13) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is big.[(triple1 OR ((((triple6 triple5) -> rule8) triple2) -> rule4) OR ((((((triple4) -> rule5) triple5) -> rule8) triple2) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple5) -> rule8) triple2) -> rule4) OR ((((((((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule8) triple2) -> rule4))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple2 ((triple6 triple5) -> rule8)) -> rule1) OR ((triple2 ((((triple4) -> rule5) triple5) -> rule8)) -> rule1) OR ((triple2 ((((((triple2) -> rule7)) -> rule5) triple5) -> rule8)) -> rule1))] Anne is nice.[(triple4 OR ((triple2) -> rule7) OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple2 ((triple6 triple5) -> rule8)) -> rule1)) -> rule6))] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple4) -> rule5) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple2 triple3) -> rule6)) -> rule5))] Bob is big.[(triple7)] Bob is furry.[(triple8 OR ((((triple9) -> rule5) triple10) -> rule8))] Bob is nice.[(triple9)] Bob is quiet.[(triple10)] Erin is cold.[(triple11)] Erin is nice.[(triple12 OR ((triple11) -> rule7))] Erin is quiet.[(triple13)] Gary is big.[(triple14)] Gary is cold.[(triple15)] Gary is rough.[(triple16 OR ((((triple15) -> rule7)) -> rule5))] @1: Anne is furry.[(((triple6 triple5) -> rule8) OR ((((triple4) -> rule5) triple5) -> rule8) OR ((((((triple2) -> rule7)) -> rule5) triple5) -> rule8) OR ((((((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule8))] Bob is rough.[(((triple8) -> rule2) OR ((triple9) -> rule5))] Erin is rough.[(((triple12) -> rule5) OR ((((triple11) -> rule7)) -> rule5))] Gary is nice.[(((triple15) -> rule7))] @2: Erin is furry.[(((((triple12) -> rule5) triple13) -> rule8) OR ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8))] @3: Erin is big.[(((triple11 ((((triple12) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((triple12) -> rule5) triple13) -> rule8) triple11) -> rule4) OR ((triple11 ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8)) -> rule3) OR ((((((((triple11) -> rule7)) -> rule5) triple13) -> rule8) triple11) -> rule4))] Erin is kind.[(((triple11 ((((triple12) -> rule5) triple13) -> rule8)) -> rule1) OR ((triple11 ((((((triple11) -> rule7)) -> rule5) triple13) -> rule8)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple6 triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple4) -> (rule5 % int3)) triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple2 triple3) -> (rule6 % int4))) -> (rule5 % int3)) triple5) -> (rule8 % int2)) triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple2 ((triple6 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((triple2 ((((triple4) -> (rule5 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple2) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 triple3) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 ((triple2 ((triple6 triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
((triple4) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2 triple3) -> (rule6 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
((((triple9) -> (rule5 % int2)) triple10) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
((triple11) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple13
Gary is big.
("Gary" "is" "big" "+")
triple14
Gary is cold.
("Gary" "is" "cold" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
((((triple15) -> (rule7 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((triple6 triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple4) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2 triple3) -> (rule6 % int3))) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple9) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple12) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple15) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((((triple12) -> (rule5 % int2)) triple13) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple11) -> (rule7 % int3))) -> (rule5 % int2)) triple13) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple11 ((((triple12) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple12) -> (rule5 % int3)) triple13) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple11 ((((((triple11) -> (rule7 % int4))) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule5 % int3)) triple13) -> (rule8 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((triple11 ((((triple12) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple11 ((((((triple11) -> (rule7 % int4))) -> (rule5 % int3)) triple13) -> (rule8 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4