Dave is blue. Erin is cold. Erin is furry. Fiona is kind. Fiona is rough. Fiona is white. Gary is furry. White, blue things are big. Rough things are furry. All white things are blue. Kind things are white. Cold, furry things are kind. All white, kind things are rough. Cold things are kind. All furry, rough things are big.
Dave is blue.
("Dave" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
White, blue things are big.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All white things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Cold, furry things are kind.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
All white, kind things are rough.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
All furry, rough things are big.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Gary is not furry.
False
1
inv-proof
[(triple7)]
("Gary" "is" "furry" "-")
triple7
Fiona is furry.
True
2
proof
[(((triple5) -> rule2) OR ((((triple6 triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule6)) -> rule2))]
("Fiona" "is" "furry" "+")
((triple5) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple6 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple4) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Erin is not kind.
False
2
inv-proof
[(((triple2) -> rule7) OR ((triple2 triple3) -> rule5))]
("Erin" "is" "kind" "-")
((triple2) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
True
3
proof
[(((((triple2) -> rule7)) -> rule4) OR ((((triple2 triple3) -> rule5)) -> rule4))]
("Erin" "is" "white" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule4) OR ((((triple2 triple3) -> rule5)) -> rule4))]
("Erin" "is" "white" "-")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
True
6
proof
[(((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6) OR ((((((triple2) -> rule7)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6))]
("Erin" "is" "rough" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2) -> (rule7 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule7 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not blue.
False
4
inv-proof
[(((((((triple2) -> rule7)) -> rule4)) -> rule3) OR ((((((triple2 triple3) -> rule5)) -> rule4)) -> rule3))]
("Erin" "is" "blue" "-")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Dave" "is" "rough" "+")
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is blue.
Unknown
rconc
[@3: Gary is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule5 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2))] Fiona is kind.[(triple4)] Fiona is rough.[(triple5 OR ((triple6 triple4) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule6))] Fiona is white.[(triple6 OR ((triple4) -> rule4))] Gary is furry.[(triple7)] @1: Erin is kind.[(((triple2) -> rule7) OR ((triple2 triple3) -> rule5))] Fiona is blue.[(((triple6) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Fiona is furry.[(((triple5) -> rule2) OR ((((triple6 triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule6)) -> rule2))] @2: Erin is white.[(((((triple2) -> rule7)) -> rule4) OR ((((triple2 triple3) -> rule5)) -> rule4))] Fiona is big.[(((triple6 ((triple6) -> rule3)) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule8) OR ((((triple4) -> rule4) ((triple6) -> rule3)) -> rule1) OR ((((triple5) -> rule2) ((triple6 triple4) -> rule6)) -> rule8) OR ((triple6 ((((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((((triple6 triple4) -> rule6)) -> rule2) triple5) -> rule8) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple5) -> rule2) ((((triple4) -> rule4) triple4) -> rule6)) -> rule8) OR ((((((triple6 triple4) -> rule6)) -> rule2) ((triple6 triple4) -> rule6)) -> rule8) OR ((((((triple6 triple4) -> rule6)) -> rule2) ((((triple4) -> rule4) triple4) -> rule6)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule6)) -> rule2) triple5) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule6)) -> rule2) ((triple6 triple4) -> rule6)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule6)) -> rule2) ((((triple4) -> rule4) triple4) -> rule6)) -> rule8))] @3: Erin is blue.[(((((((triple2) -> rule7)) -> rule4)) -> rule3) OR ((((((triple2 triple3) -> rule5)) -> rule4)) -> rule3))] Erin is rough.[(((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6) OR ((((((triple2) -> rule7)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6))] @4: Erin is big.[(((triple3 ((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((triple3 ((((((triple2) -> rule7)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8) OR ((triple3 ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((triple3 ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple2 triple3) -> rule5)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((((((triple2) -> rule7)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2 triple3) -> rule5)) -> rule4) ((((((triple2 triple3) -> rule5)) -> rule4)) -> rule3)) -> rule1) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2) -> rule7)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule6)) -> rule2) ((((((triple2 triple3) -> rule5)) -> rule4) ((triple2 triple3) -> rule5)) -> rule6)) -> rule8))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((((((((triple2) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple6 triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple4) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple6
((triple4) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple6 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple4) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple5) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple5) -> (rule2 % int3)) ((triple6 triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((triple6 ((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple6 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple5) -> (rule2 % int4)) ((((triple4) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((triple6 triple4) -> (rule6 % int3))) -> (rule2 % int2)) ((triple6 triple4) -> (rule6 % int3))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple6 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple4) -> (rule4 % int2)) triple4) -> (rule6 % int4))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2)) ((triple6 triple4) -> (rule6 % int3))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple4) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2) -> (rule7 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule7 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule5 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple3 ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple3 ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 triple3) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple3 ((((((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple3 ((((((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2 triple3) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule4 % int3)) ((((((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((((((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((triple2) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((((((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((triple2) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((triple2) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((((((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((triple2 triple3) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((triple2) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((((((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((triple2) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule2 % int2)) ((((((triple2 triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2 triple3) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5