Charlie is blue. Charlie is round. Erin is quiet. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Gary is blue. Gary is quiet. Rough, young people are round. If someone is quiet then they are round. If someone is round then they are young. All young people are blue. Round, kind people are rough. All blue people are kind. If someone is rough then they are kind. If Erin is young then Erin is red.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Rough, young people are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet then they are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Round, kind people are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If Erin is young then Erin is red.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Charlie is not round.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Charlie is kind.
True
2
proof
[(((triple1) -> rule6) OR ((((((triple2) -> rule3)) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not kind.
False
2
inv-proof
[(((triple1) -> rule6) OR ((((((triple2) -> rule3)) -> rule4)) -> rule6))]
("Charlie" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
True
4
proof
[(((triple2 ((triple1) -> rule6)) -> rule5) OR ((triple2 ((((((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule5))]
("Charlie" "is" "rough" "+")
((triple2 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple2 ((((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Gary is not young.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule3))]
("Gary" "is" "young" "-")
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Erin is red.
True
4
proof
[(((((((triple3) -> rule2)) -> rule3)) -> rule8))]
("Erin" "is" "red" "+")
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not red.
False
4
inv-proof
[(((((((triple3) -> rule2)) -> rule3)) -> rule8))]
("Erin" "is" "red" "-")
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
True
5
proof
[(((((((((triple3) -> rule2)) -> rule3)) -> rule4)) -> rule6))]
("Erin" "is" "kind" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is not kind.
False
5
inv-proof
[(((((((((triple3) -> rule2)) -> rule3)) -> rule4)) -> rule6))]
("Erin" "is" "kind" "-")
((((((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is rough.
True
8
proof
[(((((triple3) -> rule2) ((((((((triple3) -> rule2)) -> rule3)) -> rule4)) -> rule6)) -> rule5))]
("Erin" "is" "rough" "+")
((((triple3) -> (rule2 % int5)) ((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is not rough.
False
8
inv-proof
[(((((triple3) -> rule2) ((((((((triple3) -> rule2)) -> rule3)) -> rule4)) -> rule6)) -> rule5))]
("Erin" "is" "rough" "-")
((((triple3) -> (rule2 % int5)) ((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is blue.[(triple1 OR ((((triple2) -> rule3)) -> rule4))] Charlie is round.[(triple2)] Erin is quiet.[(triple3)] Fiona is blue.[(triple4 OR ((triple9) -> rule4) OR ((((triple8) -> rule3)) -> rule4) OR ((((((triple6) -> rule2)) -> rule3)) -> rule4))] Fiona is kind.[(triple5 OR ((triple4) -> rule6) OR ((triple7) -> rule7) OR ((((triple9) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule6))] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7 OR ((triple8 triple5) -> rule5) OR ((triple8 ((triple4) -> rule6)) -> rule5) OR ((((triple6) -> rule2) triple5) -> rule5) OR ((((triple6) -> rule2) ((triple4) -> rule6)) -> rule5) OR ((triple8 ((((triple9) -> rule4)) -> rule6)) -> rule5) OR ((((triple6) -> rule2) ((((triple9) -> rule4)) -> rule6)) -> rule5) OR ((triple8 ((((((triple8) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple6) -> rule2) ((((((triple8) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((triple8 ((((((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule6)) -> rule5) OR ((((triple6) -> rule2) ((((((((triple6) -> rule2)) -> rule3)) -> rule4)) -> rule6)) -> rule5))] Fiona is round.[(triple8 OR ((triple6) -> rule2) OR ((triple7 triple9) -> rule1))] Fiona is young.[(triple9 OR ((triple8) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Gary is blue.[(triple10 OR ((((((triple11) -> rule2)) -> rule3)) -> rule4))] Gary is quiet.[(triple11)] @1: Charlie is kind.[(((triple1) -> rule6) OR ((((((triple2) -> rule3)) -> rule4)) -> rule6))] Charlie is young.[(((triple2) -> rule3))] Erin is round.[(((triple3) -> rule2))] Gary is kind.[(((triple10) -> rule6) OR ((((((((triple11) -> rule2)) -> rule3)) -> rule4)) -> rule6))] Gary is round.[(((triple11) -> rule2))] @2: Charlie is rough.[(((triple2 ((triple1) -> rule6)) -> rule5) OR ((triple2 ((((((triple2) -> rule3)) -> rule4)) -> rule6)) -> rule5))] Erin is young.[(((((triple3) -> rule2)) -> rule3))] Gary is rough.[(((((triple11) -> rule2) ((triple10) -> rule6)) -> rule5) OR ((((triple11) -> rule2) ((((((((triple11) -> rule2)) -> rule3)) -> rule4)) -> rule6)) -> rule5))] Gary is young.[(((((triple11) -> rule2)) -> rule3))] @3: Erin is blue.[(((((((triple3) -> rule2)) -> rule3)) -> rule4))] Erin is red.[(((((((triple3) -> rule2)) -> rule3)) -> rule8))] @4: Erin is kind.[(((((((((triple3) -> rule2)) -> rule3)) -> rule4)) -> rule6))] @5: Erin is rough.[(((((triple3) -> rule2) ((((((((triple3) -> rule2)) -> rule3)) -> rule4)) -> rule6)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple9) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
((triple4) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
((triple8 triple5) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple8 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple6) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple8 ((((triple9) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple6) -> (rule2 % int4)) ((((triple9) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple8 ((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple6) -> (rule2 % int5)) ((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((triple8 ((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((triple6) -> (rule2 % int5)) ((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
triple8
((triple6) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple7 triple9) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((triple8) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((((((triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((triple11) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple2 ((((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple11) -> (rule2 % int3)) ((triple10) -> (rule6 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple11) -> (rule2 % int5)) ((((((((triple11) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((triple3) -> (rule2 % int5)) ((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5