Anne is young. Bob is blue. Bob is quiet. Bob is young. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is young. Erin is smart. Smart people are rough. Furry people are rough. Smart people are quiet. All young people are furry. Quiet people are big. Rough, young people are blue. All blue, young people are smart.
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Rough, young people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All blue, young people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Bob is blue.
True
1
proof
[(triple2 OR ((((((triple4) -> rule4)) -> rule2) triple4) -> rule6))]
("Bob" "is" "blue" "+")
triple2
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Bob is big.
True
2
proof
[(((triple3) -> rule5) OR ((((((triple2 triple4) -> rule7)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule4)) -> rule2) triple4) -> rule6) triple4) -> rule7)) -> rule3)) -> rule5))]
("Bob" "is" "big" "+")
((triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((((triple2 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((((((((triple4) -> (rule4 % int6))) -> (rule2 % int5)) triple4) -> (rule6 % int4)) triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
Charlie is not smart.
False
3
inv-proof
[(((triple6 triple9) -> rule7) OR ((((triple8 triple9) -> rule6) triple9) -> rule7) OR ((((((((triple9) -> rule4)) -> rule2) triple9) -> rule6) triple9) -> rule7))]
("Charlie" "is" "smart" "-")
((triple6 triple9) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple8 triple9) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) triple9) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Bob is rough.
True
3
proof
[(((((triple4) -> rule4)) -> rule2) OR ((((triple2 triple4) -> rule7)) -> rule1))]
("Bob" "is" "rough" "+")
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is not rough.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule2) OR ((((triple2 triple4) -> rule7)) -> rule1))]
("Bob" "is" "rough" "-")
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Anne is blue.
True
5
proof
[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))]
("Anne" "is" "blue" "+")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is not blue.
False
5
inv-proof
[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))]
("Anne" "is" "blue" "-")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is smart.
True
7
proof
[(((((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) triple1) -> rule7))]
("Anne" "is" "smart" "+")
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is not smart.
False
7
inv-proof
[(((((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) triple1) -> rule7))]
("Anne" "is" "smart" "-")
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is quiet.
True
8
proof
[(((((((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) triple1) -> rule7)) -> rule3))]
("Anne" "is" "quiet" "+")
((((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is not quiet.
False
8
inv-proof
[(((((((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) triple1) -> rule7)) -> rule3))]
("Anne" "is" "quiet" "-")
((((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is young.[(triple1)] Bob is blue.[(triple2 OR ((((((triple4) -> rule4)) -> rule2) triple4) -> rule6))] Bob is quiet.[(triple3 OR ((((triple2 triple4) -> rule7)) -> rule3) OR ((((((((((triple4) -> rule4)) -> rule2) triple4) -> rule6) triple4) -> rule7)) -> rule3))] Bob is young.[(triple4)] Charlie is big.[(triple5 OR ((triple7) -> rule5) OR ((((((triple6 triple9) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple8 triple9) -> rule6) triple9) -> rule7)) -> rule3)) -> rule5) OR ((((((((((((triple9) -> rule4)) -> rule2) triple9) -> rule6) triple9) -> rule7)) -> rule3)) -> rule5))] Charlie is blue.[(triple6 OR ((triple8 triple9) -> rule6) OR ((((((triple9) -> rule4)) -> rule2) triple9) -> rule6))] Charlie is quiet.[(triple7 OR ((((triple6 triple9) -> rule7)) -> rule3) OR ((((((triple8 triple9) -> rule6) triple9) -> rule7)) -> rule3) OR ((((((((((triple9) -> rule4)) -> rule2) triple9) -> rule6) triple9) -> rule7)) -> rule3))] Charlie is rough.[(triple8 OR ((((triple9) -> rule4)) -> rule2) OR ((((triple6 triple9) -> rule7)) -> rule1))] Charlie is young.[(triple9)] Erin is smart.[(triple10)] @1: Anne is furry.[(((triple1) -> rule4))] Bob is big.[(((triple3) -> rule5) OR ((((((triple2 triple4) -> rule7)) -> rule3)) -> rule5) OR ((((((((((((triple4) -> rule4)) -> rule2) triple4) -> rule6) triple4) -> rule7)) -> rule3)) -> rule5))] Bob is furry.[(((triple4) -> rule4))] Bob is smart.[(((triple2 triple4) -> rule7) OR ((((((((triple4) -> rule4)) -> rule2) triple4) -> rule6) triple4) -> rule7))] Charlie is furry.[(((triple9) -> rule4))] Charlie is smart.[(((triple6 triple9) -> rule7) OR ((((triple8 triple9) -> rule6) triple9) -> rule7) OR ((((((((triple9) -> rule4)) -> rule2) triple9) -> rule6) triple9) -> rule7))] Erin is quiet.[(((triple10) -> rule3))] Erin is rough.[(((triple10) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule4)) -> rule2))] Bob is rough.[(((((triple4) -> rule4)) -> rule2) OR ((((triple2 triple4) -> rule7)) -> rule1))] Erin is big.[(((((triple10) -> rule3)) -> rule5))] @3: Anne is blue.[(((((((triple1) -> rule4)) -> rule2) triple1) -> rule6))] @4: Anne is smart.[(((((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) triple1) -> rule7))] @5: Anne is quiet.[(((((((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) triple1) -> rule7)) -> rule3))] @6: Anne is big.[(((((((((((((triple1) -> rule4)) -> rule2) triple1) -> rule6) triple1) -> rule7)) -> rule3)) -> rule5))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((((triple2 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) triple4) -> (rule6 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
((triple7) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((((triple6 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((((triple8 triple9) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((((((triple9) -> (rule4 % int6))) -> (rule2 % int5)) triple9) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
int6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
((triple8 triple9) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((((triple9) -> (rule4 % int3))) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
((((triple6 triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple8 triple9) -> (rule6 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((((((triple9) -> (rule4 % int5))) -> (rule2 % int4)) triple9) -> (rule6 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
((((triple9) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple6 triple9) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((((triple2 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((((((((triple4) -> (rule4 % int6))) -> (rule2 % int5)) triple4) -> (rule6 % int4)) triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
Bob is furry.
("Bob" "is" "furry" "+")
((triple4) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple2 triple4) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) triple4) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple9) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple6 triple9) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple8 triple9) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((((triple9) -> (rule4 % int4))) -> (rule2 % int3)) triple9) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple10) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple10) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
((((((((((((triple1) -> (rule4 % int6))) -> (rule2 % int5)) triple1) -> (rule6 % int4)) triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6