Anne is furry. Anne is green. Charlie is kind. Charlie is rough. Dave is furry. Dave is green. Erin is kind. If someone is round then they are young. All kind, rough people are round. All young, kind people are green. Young, cold people are kind. Furry, cold people are rough. Kind people are rough. All green, young people are not cold.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All kind, rough people are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
All young, kind people are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Young, cold people are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Furry, cold people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All green, young people are not cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Dave is not furry.
False
1
inv-proof
[(triple5)]
("Dave" "is" "furry" "-")
triple5
Charlie is round.
True
3
proof
[(((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2))]
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2))]
("Charlie" "is" "round" "-")
((triple3 triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
True
4
proof
[(((((triple3 triple4) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1))]
("Charlie" "is" "young" "+")
((((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Erin is not round.
False
4
inv-proof
[(((triple7 ((triple7) -> rule6)) -> rule2))]
("Erin" "is" "round" "-")
((triple7 ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Charlie is green.
True
6
proof
[(((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3))]
("Charlie" "is" "green" "+")
((((((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not green.
False
6
inv-proof
[(((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3))]
("Charlie" "is" "green" "-")
((((((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not cold.
True
11
proof
[(((((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 triple4) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 triple4) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7))]
("Charlie" "is" "cold" "-")
((((((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple3 triple4) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is cold.
False
11
inv-proof
[(((((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 triple4) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 triple4) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7))]
("Charlie" "is" "cold" "+")
((((((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple3 triple4) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Erin is not cold.
True
13
proof
[(((((((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1) triple7) -> rule3) ((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule7))]
("Erin" "is" "cold" "-")
((((((((triple7 ((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) ((((triple7 ((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is cold.
False
13
inv-proof
[(((((((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1) triple7) -> rule3) ((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule7))]
("Erin" "is" "cold" "+")
((((((((triple7 ((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) ((((triple7 ((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Anne is not young.
Unknown
inv-rconc
[@3: Anne is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule4 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is rough.
Unknown
rconc
[@2: Anne is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Anne" "is" "rough" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is young.
Unknown
rconc
[@3: Dave is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule4 <- FAIL)]]
("Dave" "is" "young" "+")
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "kind" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is rough.[(triple4 OR ((triple3) -> rule6))] Dave is furry.[(triple5)] Dave is green.[(triple6)] Erin is kind.[(triple7)] @1: Charlie is round.[(((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2))] Erin is rough.[(((triple7) -> rule6))] @2: Charlie is young.[(((((triple3 triple4) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1))] Erin is round.[(((triple7 ((triple7) -> rule6)) -> rule2))] @3: Charlie is green.[(((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3))] Erin is young.[(((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1))] @4: Charlie is not cold.[(((((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 triple4) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 triple4) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 triple4) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1) triple3) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7))] Erin is green.[(((((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1) triple7) -> rule3))] @5: Erin is not cold.[(((((((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1) triple7) -> rule3) ((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule1)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple4) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((triple7) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((triple7 ((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple3 triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((((triple7 ((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Charlie is not cold.
("Charlie" "is" "cold" "-")
((((((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple3 triple4) -> (rule2 % int5))) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Charlie is not cold.
("Charlie" "is" "cold" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
((((((triple7 ((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is not cold.
("Erin" "is" "cold" "-")
((((((((triple7 ((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) ((((triple7 ((triple7) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5