Anne is red. Anne is rough. Bob is red. Charlie is red. Charlie is rough. Charlie is white. Erin is red. Erin is smart. Erin is white. Erin is young. If someone is white and smart then they are young. All young people are rough. All rough, round people are smart. All quiet people are white. All rough people are quiet. If Bob is young and Bob is smart then Bob is white. If someone is white then they are round.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is white and smart then they are young.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All rough, round people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If Bob is young and Bob is smart then Bob is white.
((("Bob" "is" "young" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "white" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Bob is red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Bob is not red.
False
1
inv-proof
[(triple3)]
("Bob" "is" "red" "-")
triple3
Erin is round.
True
2
proof
[(((triple9) -> rule7) OR ((((((((triple10) -> rule2)) -> rule5)) -> rule4)) -> rule7))]
("Erin" "is" "round" "+")
((triple9) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((((((triple10) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Charlie is not quiet.
False
2
inv-proof
[(((triple5) -> rule5))]
("Charlie" "is" "quiet" "-")
((triple5) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Anne is white.
True
3
proof
[(((((triple2) -> rule5)) -> rule4))]
("Anne" "is" "white" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Charlie is not smart.
False
4
inv-proof
[(((triple5 ((triple6) -> rule7)) -> rule3) OR ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3))]
("Charlie" "is" "smart" "-")
((triple5 ((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple5 ((((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is young.
True
6
proof
[(((triple6 ((triple5 ((triple6) -> rule7)) -> rule3)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4) ((triple5 ((triple6) -> rule7)) -> rule3)) -> rule1) OR ((triple6 ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4) ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1))]
("Charlie" "is" "young" "+")
((triple6 ((triple5 ((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5 ((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((triple6 ((triple5 ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5 ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Charlie is not young.
False
6
inv-proof
[(((triple6 ((triple5 ((triple6) -> rule7)) -> rule3)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4) ((triple5 ((triple6) -> rule7)) -> rule3)) -> rule1) OR ((triple6 ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4) ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1))]
("Charlie" "is" "young" "-")
((triple6 ((triple5 ((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5 ((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((triple6 ((triple5 ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5 ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Anne is smart.
True
6
proof
[(((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule7)) -> rule3))]
("Anne" "is" "smart" "+")
((triple2 ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is not smart.
False
6
inv-proof
[(((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule7)) -> rule3))]
("Anne" "is" "smart" "-")
((triple2 ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is young.
True
10
proof
[(((((((triple2) -> rule5)) -> rule4) ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1))]
("Anne" "is" "young" "+")
((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is not young.
False
10
inv-proof
[(((((((triple2) -> rule5)) -> rule4) ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1))]
("Anne" "is" "young" "-")
((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Bob is not round.
Unknown
inv-rconc
[@6: Bob is round.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule5 <- rule2 <- rule1 <- rule6 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is quiet.
Unknown
rconc
[@4: Bob is quiet.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule1 <- rule4 <- FAIL)]]
("Bob" "is" "quiet" "+")
Bob is not smart.
Unknown
inv-rconc
[@3: Bob is smart.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is rough.
Unknown
rconc
[@3: Bob is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not white.
Unknown
inv-rconc
[@5: Bob is white.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule2 <- rule1 <- rule6 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is young.
Unknown
rconc
[@3: Bob is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule2 <- FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Bob is red.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6 OR ((((triple5) -> rule5)) -> rule4))] Erin is red.[(triple7)] Erin is smart.[(triple8 OR ((((triple10) -> rule2) ((triple9) -> rule7)) -> rule3) OR ((((triple10) -> rule2) ((((((((triple10) -> rule2)) -> rule5)) -> rule4)) -> rule7)) -> rule3))] Erin is white.[(triple9 OR ((((((triple10) -> rule2)) -> rule5)) -> rule4))] Erin is young.[(triple10 OR ((triple9 triple8) -> rule1))] @1: Anne is quiet.[(((triple2) -> rule5))] Charlie is quiet.[(((triple5) -> rule5))] Charlie is round.[(((triple6) -> rule7) OR ((((((triple5) -> rule5)) -> rule4)) -> rule7))] Erin is rough.[(((triple10) -> rule2) OR ((((triple9 triple8) -> rule1)) -> rule2))] Erin is round.[(((triple9) -> rule7) OR ((((((((triple10) -> rule2)) -> rule5)) -> rule4)) -> rule7))] @2: Anne is white.[(((((triple2) -> rule5)) -> rule4))] Charlie is smart.[(((triple5 ((triple6) -> rule7)) -> rule3) OR ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3))] Erin is quiet.[(((((triple10) -> rule2)) -> rule5) OR ((((((triple9 triple8) -> rule1)) -> rule2)) -> rule5))] @3: Anne is round.[(((((((triple2) -> rule5)) -> rule4)) -> rule7))] Charlie is young.[(((triple6 ((triple5 ((triple6) -> rule7)) -> rule3)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4) ((triple5 ((triple6) -> rule7)) -> rule3)) -> rule1) OR ((triple6 ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4) ((triple5 ((((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1))] @4: Anne is smart.[(((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule7)) -> rule3))] @5: Anne is young.[(((((((triple2) -> rule5)) -> rule4) ((triple2 ((((((triple2) -> rule5)) -> rule4)) -> rule7)) -> rule3)) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((((triple10) -> (rule2 % int3)) ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple10) -> (rule2 % int5)) ((((((((triple10) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple9
((((((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple9 triple8) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple5) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple6) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple9 triple8) -> (rule1 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple9) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((((((triple10) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple5 ((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple5 ((((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple9 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple6 ((triple5 ((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5 ((triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((triple6 ((triple5 ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5 ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
((triple2 ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5