Anne is nice. Charlie is big. Charlie is kind. Charlie is white. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is white. Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is round. If Erin is furry and Erin is white then Erin is nice. All white, kind things are round. Furry things are white. White things are kind. If Erin is blue and Erin is nice then Erin is white. If Anne is round and Anne is kind then Anne is big. Nice things are furry. Blue things are big. All round things are kind.
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
If Erin is furry and Erin is white then Erin is nice.
((("Erin" "is" "furry" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "nice" "+"))
All white, kind things are round.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
White things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If Erin is blue and Erin is nice then Erin is white.
((("Erin" "is" "blue" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "white" "+"))
If Anne is round and Anne is kind then Anne is big.
((("Anne" "is" "round" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "big" "+"))
Nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
All round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Charlie is kind.
True
1
proof
[(triple3 OR ((triple4) -> rule4))]
("Charlie" "is" "kind" "+")
triple3
((triple4) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Erin is not big.
False
1
inv-proof
[(triple10)]
("Erin" "is" "big" "-")
triple10
Charlie is round.
True
3
proof
[(((triple4 triple3) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2))]
("Charlie" "is" "round" "+")
((triple4 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule7))]
("Anne" "is" "furry" "-")
((triple1) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
True
3
proof
[(((((triple1) -> rule7)) -> rule3))]
("Anne" "is" "white" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not white.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule3))]
("Anne" "is" "white" "-")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
True
4
proof
[(((((((triple1) -> rule7)) -> rule3)) -> rule4))]
("Anne" "is" "kind" "+")
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is not kind.
False
4
inv-proof
[(((((((triple1) -> rule7)) -> rule3)) -> rule4))]
("Anne" "is" "kind" "-")
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
True
8
proof
[(((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule2))]
("Anne" "is" "round" "+")
((((((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is not round.
False
8
inv-proof
[(((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule2))]
("Anne" "is" "round" "-")
((((((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
True
13
proof
[(((((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule2) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule6))]
("Anne" "is" "big" "+")
((((((((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is not big.
False
13
inv-proof
[(((((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule2) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule6))]
("Anne" "is" "big" "-")
((((((((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule4))] Charlie is white.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6 OR ((triple8) -> rule7))] Dave is kind.[(triple7 OR ((triple9) -> rule4) OR ((((triple6) -> rule3)) -> rule4) OR ((((((triple8) -> rule7)) -> rule3)) -> rule4))] Dave is nice.[(triple8)] Dave is white.[(triple9 OR ((triple6) -> rule3) OR ((((triple8) -> rule7)) -> rule3))] Erin is big.[(triple10)] Erin is furry.[(triple11 OR ((triple13) -> rule7))] Erin is kind.[(triple12 OR ((triple14) -> rule9) OR ((((triple11) -> rule3)) -> rule4) OR ((((((triple13) -> rule7)) -> rule3)) -> rule4))] Erin is nice.[(triple13 OR ((triple11 ((triple11) -> rule3)) -> rule1))] Erin is round.[(triple14 OR ((((triple11) -> rule3) triple12) -> rule2) OR ((((((triple13) -> rule7)) -> rule3) triple12) -> rule2) OR ((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule4)) -> rule2) OR ((((((triple13) -> rule7)) -> rule3) ((((triple11) -> rule3)) -> rule4)) -> rule2) OR ((((triple11) -> rule3) ((((((triple13) -> rule7)) -> rule3)) -> rule4)) -> rule2) OR ((((((triple13) -> rule7)) -> rule3) ((((((triple13) -> rule7)) -> rule3)) -> rule4)) -> rule2))] @1: Anne is furry.[(((triple1) -> rule7))] Charlie is round.[(((triple4 triple3) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule2))] Dave is round.[(((triple9 triple7) -> rule2) OR ((triple9 ((triple9) -> rule4)) -> rule2) OR ((((triple6) -> rule3) triple7) -> rule2) OR ((((triple6) -> rule3) ((triple9) -> rule4)) -> rule2) OR ((triple9 ((((triple6) -> rule3)) -> rule4)) -> rule2) OR ((((((triple8) -> rule7)) -> rule3) triple7) -> rule2) OR ((((triple6) -> rule3) ((((triple6) -> rule3)) -> rule4)) -> rule2) OR ((((((triple8) -> rule7)) -> rule3) ((triple9) -> rule4)) -> rule2) OR ((((((triple8) -> rule7)) -> rule3) ((((triple6) -> rule3)) -> rule4)) -> rule2) OR ((triple9 ((((((triple8) -> rule7)) -> rule3)) -> rule4)) -> rule2) OR ((((triple6) -> rule3) ((((((triple8) -> rule7)) -> rule3)) -> rule4)) -> rule2) OR ((((((triple8) -> rule7)) -> rule3) ((((((triple8) -> rule7)) -> rule3)) -> rule4)) -> rule2))] Erin is white.[(((triple11) -> rule3) OR ((((triple13) -> rule7)) -> rule3))] @2: Anne is white.[(((((triple1) -> rule7)) -> rule3))] @3: Anne is kind.[(((((((triple1) -> rule7)) -> rule3)) -> rule4))] @4: Anne is round.[(((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule2))] @5: Anne is big.[(((((((((triple1) -> rule7)) -> rule3) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule2) ((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule6))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple4) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((triple8) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple7
((triple9) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((triple8) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
((triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
((triple13) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple12
((triple14) -> (rule9 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple13) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple13
((triple11 ((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple14
((((triple11) -> (rule3 % int2)) triple12) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple13) -> (rule7 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple11) -> (rule3 % int3)) ((((triple11) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple13) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple11) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple11) -> (rule3 % int4)) ((((((triple13) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple13) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple13) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple9 triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple6) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple9 ((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple8) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple6) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple8) -> (rule7 % int4))) -> (rule3 % int3)) ((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((triple9 ((((((triple8) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple6) -> (rule3 % int4)) ((((((triple8) -> (rule7 % int3))) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple8) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((triple11) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((((((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((((((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((((triple1) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
((((((((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) ((((((triple1) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5