Anne is big. Anne is nice. Anne is young. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is red. Bob is white. Bob is young. Erin is furry. Fiona is big. Fiona is blue. Fiona is furry. Fiona is red. Fiona is young. Nice, big people are young. If someone is nice then they are white. If Erin is furry then Erin is white. All white, furry people are big. If someone is young then they are furry. Big people are nice. All young people are blue. Blue, red people are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice, big people are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Erin is furry then Erin is white.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "white" "+"))
All white, furry people are big.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Blue, red people are white.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Fiona is young.
True
1
proof
[(triple16 OR ((((triple12) -> rule6) triple12) -> rule1) OR ((((triple12) -> rule6) ((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule1) OR ((((((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule6) triple12) -> rule1) OR ((((((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule6) ((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule1))]
("Fiona" "is" "young" "+")
triple16
((((triple12) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple12) -> (rule6 % int4)) ((((triple13 triple15) -> (rule8 % int3)) triple14) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple13 triple15) -> (rule8 % int4)) triple14) -> (rule4 % int3))) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple13 triple15) -> (rule8 % int4)) triple14) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple13 triple15) -> (rule8 % int4)) triple14) -> (rule4 % int3))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Bob is not nice.
False
1
inv-proof
[(triple7 OR ((triple4) -> rule6) OR ((((triple9 triple6) -> rule4)) -> rule6) OR ((((triple9 ((triple10) -> rule5)) -> rule4)) -> rule6) OR ((((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((((triple5 triple8) -> rule8) ((triple10) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule7) triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((((((triple10) -> rule7) triple8) -> rule8) ((triple10) -> rule5)) -> rule4)) -> rule6))]
("Bob" "is" "nice" "-")
triple7
((triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple9 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple9 ((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple5 triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple5 triple8) -> (rule8 % int4)) ((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple10) -> (rule7 % int4)) triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple10) -> (rule7 % int5)) triple8) -> (rule8 % int4)) ((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Erin is white.
True
2
proof
[(((triple11) -> rule3))]
("Erin" "is" "white" "+")
((triple11) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple3) -> rule5) OR ((((triple2 triple1) -> rule1)) -> rule5) OR ((((((triple1) -> rule6) triple1) -> rule1)) -> rule5))]
("Anne" "is" "furry" "-")
((triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple2 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Erin is big.
True
4
proof
[(((((triple11) -> rule3) triple11) -> rule4))]
("Erin" "is" "big" "+")
((((triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not big.
False
4
inv-proof
[(((((triple11) -> rule3) triple11) -> rule4))]
("Erin" "is" "big" "-")
((((triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
True
5
proof
[(((((((triple11) -> rule3) triple11) -> rule4)) -> rule6))]
("Erin" "is" "nice" "+")
((((((triple11) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not nice.
False
5
inv-proof
[(((((((triple11) -> rule3) triple11) -> rule4)) -> rule6))]
("Erin" "is" "nice" "-")
((((((triple11) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
True
10
proof
[(((((((((triple11) -> rule3) triple11) -> rule4)) -> rule6) ((((triple11) -> rule3) triple11) -> rule4)) -> rule1))]
("Erin" "is" "young" "+")
((((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is not young.
False
10
inv-proof
[(((((((((triple11) -> rule3) triple11) -> rule4)) -> rule6) ((((triple11) -> rule3) triple11) -> rule4)) -> rule1))]
("Erin" "is" "young" "-")
((((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
True
11
proof
[(((((((((((triple11) -> rule3) triple11) -> rule4)) -> rule6) ((((triple11) -> rule3) triple11) -> rule4)) -> rule1)) -> rule7))]
("Erin" "is" "blue" "+")
((((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is not blue.
False
11
inv-proof
[(((((((((((triple11) -> rule3) triple11) -> rule4)) -> rule6) ((((triple11) -> rule3) triple11) -> rule4)) -> rule1)) -> rule7))]
("Erin" "is" "blue" "-")
((((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is big.[(triple1 OR ((((triple2) -> rule2) ((triple3) -> rule5)) -> rule4))] Anne is nice.[(triple2 OR ((triple1) -> rule6))] Anne is young.[(triple3 OR ((triple2 triple1) -> rule1) OR ((((triple1) -> rule6) triple1) -> rule1))] Bob is big.[(triple4 OR ((triple9 triple6) -> rule4) OR ((triple9 ((triple10) -> rule5)) -> rule4) OR ((((triple7) -> rule2) triple6) -> rule4) OR ((((triple5 triple8) -> rule8) triple6) -> rule4) OR ((((triple7) -> rule2) ((triple10) -> rule5)) -> rule4) OR ((((triple5 triple8) -> rule8) ((triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule7) triple8) -> rule8) triple6) -> rule4) OR ((((((triple10) -> rule7) triple8) -> rule8) ((triple10) -> rule5)) -> rule4))] Bob is blue.[(triple5 OR ((triple10) -> rule7) OR ((((triple7 triple4) -> rule1)) -> rule7) OR ((((triple7 ((triple9 triple6) -> rule4)) -> rule1)) -> rule7) OR ((((((triple4) -> rule6) triple4) -> rule1)) -> rule7) OR ((((((triple4) -> rule6) ((triple9 triple6) -> rule4)) -> rule1)) -> rule7) OR ((((triple7 ((((triple7) -> rule2) triple6) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple9 triple6) -> rule4)) -> rule6) triple4) -> rule1)) -> rule7) OR ((((((triple4) -> rule6) ((((triple7) -> rule2) triple6) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple9 triple6) -> rule4)) -> rule6) ((triple9 triple6) -> rule4)) -> rule1)) -> rule7) OR ((((((((triple9 triple6) -> rule4)) -> rule6) ((((triple7) -> rule2) triple6) -> rule4)) -> rule1)) -> rule7))] Bob is furry.[(triple6 OR ((triple10) -> rule5) OR ((((triple7 triple4) -> rule1)) -> rule5) OR ((((((triple4) -> rule6) triple4) -> rule1)) -> rule5))] Bob is nice.[(triple7 OR ((triple4) -> rule6) OR ((((triple9 triple6) -> rule4)) -> rule6) OR ((((triple9 ((triple10) -> rule5)) -> rule4)) -> rule6) OR ((((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((((triple5 triple8) -> rule8) ((triple10) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule7) triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((((((triple10) -> rule7) triple8) -> rule8) ((triple10) -> rule5)) -> rule4)) -> rule6))] Bob is red.[(triple8)] Bob is white.[(triple9 OR ((triple7) -> rule2) OR ((triple5 triple8) -> rule8) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple10) -> rule7) triple8) -> rule8) OR ((((((triple7 triple4) -> rule1)) -> rule7) triple8) -> rule8) OR ((((((((triple4) -> rule6) triple4) -> rule1)) -> rule7) triple8) -> rule8))] Bob is young.[(triple10 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple9 triple6) -> rule4)) -> rule1) OR ((((triple4) -> rule6) triple4) -> rule1) OR ((((triple4) -> rule6) ((triple9 triple6) -> rule4)) -> rule1) OR ((triple7 ((((triple7) -> rule2) triple6) -> rule4)) -> rule1) OR ((triple7 ((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule1) OR ((((((triple9 triple6) -> rule4)) -> rule6) triple4) -> rule1) OR ((((triple4) -> rule6) ((((triple7) -> rule2) triple6) -> rule4)) -> rule1) OR ((((triple4) -> rule6) ((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule1) OR ((((((triple9 triple6) -> rule4)) -> rule6) ((triple9 triple6) -> rule4)) -> rule1) OR ((((((triple9 triple6) -> rule4)) -> rule6) ((((triple7) -> rule2) triple6) -> rule4)) -> rule1) OR ((((((triple9 triple6) -> rule4)) -> rule6) ((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule1) OR ((((((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule6) triple4) -> rule1) OR ((((((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule6) ((triple9 triple6) -> rule4)) -> rule1) OR ((((((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule6) ((((triple7) -> rule2) triple6) -> rule4)) -> rule1) OR ((((((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule6) ((((triple5 triple8) -> rule8) triple6) -> rule4)) -> rule1))] Erin is furry.[(triple11)] Fiona is big.[(triple12 OR ((((triple13 triple15) -> rule8) triple14) -> rule4) OR ((((triple13 triple15) -> rule8) ((triple16) -> rule5)) -> rule4) OR ((((((triple16) -> rule7) triple15) -> rule8) triple14) -> rule4) OR ((((((triple16) -> rule7) triple15) -> rule8) ((triple16) -> rule5)) -> rule4))] Fiona is blue.[(triple13 OR ((triple16) -> rule7) OR ((((((triple12) -> rule6) triple12) -> rule1)) -> rule7))] Fiona is furry.[(triple14 OR ((triple16) -> rule5) OR ((((((triple12) -> rule6) triple12) -> rule1)) -> rule5))] Fiona is red.[(triple15)] Fiona is young.[(triple16 OR ((((triple12) -> rule6) triple12) -> rule1) OR ((((triple12) -> rule6) ((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule1) OR ((((((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule6) triple12) -> rule1) OR ((((((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule6) ((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule1))] @1: Anne is blue.[(((triple3) -> rule7) OR ((((triple2 triple1) -> rule1)) -> rule7) OR ((((((triple1) -> rule6) triple1) -> rule1)) -> rule7))] Anne is furry.[(((triple3) -> rule5) OR ((((triple2 triple1) -> rule1)) -> rule5) OR ((((((triple1) -> rule6) triple1) -> rule1)) -> rule5))] Anne is white.[(((triple2) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Erin is white.[(((triple11) -> rule3))] Fiona is nice.[(((triple12) -> rule6) OR ((((((triple13 triple15) -> rule8) triple14) -> rule4)) -> rule6) OR ((((((triple13 triple15) -> rule8) ((triple16) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple16) -> rule7) triple15) -> rule8) triple14) -> rule4)) -> rule6) OR ((((((((triple16) -> rule7) triple15) -> rule8) ((triple16) -> rule5)) -> rule4)) -> rule6))] Fiona is white.[(((triple13 triple15) -> rule8) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple16) -> rule7) triple15) -> rule8) OR ((((((((triple12) -> rule6) triple12) -> rule1)) -> rule7) triple15) -> rule8))] @2: Erin is big.[(((((triple11) -> rule3) triple11) -> rule4))] @3: Erin is nice.[(((((((triple11) -> rule3) triple11) -> rule4)) -> rule6))] @4: Erin is young.[(((((((((triple11) -> rule3) triple11) -> rule4)) -> rule6) ((((triple11) -> rule3) triple11) -> rule4)) -> rule1))] @5: Erin is blue.[(((((((((((triple11) -> rule3) triple11) -> rule4)) -> rule6) ((((triple11) -> rule3) triple11) -> rule4)) -> rule1)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple2) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2 triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple1) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
triple4
((triple9 triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple9 ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple7) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple5 triple8) -> (rule8 % int2)) triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple5 triple8) -> (rule8 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple10) -> (rule7 % int3)) triple8) -> (rule8 % int2)) triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple10) -> (rule7 % int4)) triple8) -> (rule8 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
((triple10) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple7 triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7 ((triple9 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4) -> (rule6 % int4)) ((triple9 triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple7 ((((triple7) -> (rule2 % int4)) triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple9 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple4) -> (rule6 % int5)) ((((triple7) -> (rule2 % int4)) triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((triple9 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple9 triple6) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple9 triple6) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3)) triple6) -> (rule4 % int5))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
((triple10) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple7 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple7
((triple4) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple9 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple9 ((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple5 triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple5 triple8) -> (rule8 % int4)) ((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple10) -> (rule7 % int4)) triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple10) -> (rule7 % int5)) triple8) -> (rule8 % int4)) ((triple10) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
((triple7) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple5 triple8) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple10) -> (rule7 % int2)) triple8) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple7 triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple8) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((triple4) -> (rule6 % int4)) triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple8) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple10
((triple7 triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple7 ((triple9 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule6 % int3)) ((triple9 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple7 ((((triple7) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple7 ((((triple5 triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple9 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple4) -> (rule6 % int4)) ((((triple7) -> (rule2 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple5 triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple9 triple6) -> (rule4 % int3))) -> (rule6 % int2)) ((triple9 triple6) -> (rule4 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple9 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule2 % int2)) triple6) -> (rule4 % int4))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple9 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple5 triple8) -> (rule8 % int2)) triple6) -> (rule4 % int4))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple5 triple8) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple5 triple8) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int2)) ((triple9 triple6) -> (rule4 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple5 triple8) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule2 % int4)) triple6) -> (rule4 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple5 triple8) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple5 triple8) -> (rule8 % int4)) triple6) -> (rule4 % int3))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Fiona is big.
("Fiona" "is" "big" "+")
triple12
((((triple13 triple15) -> (rule8 % int2)) triple14) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple13 triple15) -> (rule8 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple16) -> (rule7 % int3)) triple15) -> (rule8 % int2)) triple14) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple16) -> (rule7 % int4)) triple15) -> (rule8 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple13
((triple16) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((((triple12) -> (rule6 % int3)) triple12) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple14
((triple16) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((((triple12) -> (rule6 % int3)) triple12) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
((((triple12) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple12) -> (rule6 % int4)) ((((triple13 triple15) -> (rule8 % int3)) triple14) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple13 triple15) -> (rule8 % int4)) triple14) -> (rule4 % int3))) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple13 triple15) -> (rule8 % int4)) triple14) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple13 triple15) -> (rule8 % int4)) triple14) -> (rule4 % int3))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple2 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple2 triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple1) -> (rule6 % int3)) triple1) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((triple11) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple12) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((((triple13 triple15) -> (rule8 % int3)) triple14) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple13 triple15) -> (rule8 % int4)) ((triple16) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((triple16) -> (rule7 % int4)) triple15) -> (rule8 % int3)) triple14) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple16) -> (rule7 % int5)) triple15) -> (rule8 % int4)) ((triple16) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
((triple13 triple15) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple16) -> (rule7 % int2)) triple15) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((((triple12) -> (rule6 % int4)) triple12) -> (rule1 % int3))) -> (rule7 % int2)) triple15) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((((triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((((triple11) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((((((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5