Charlie is big. Charlie is cold. Charlie is green. Charlie is round. Charlie is young. Erin is cold. Erin is green. Erin is round. Gary is cold. Gary is furry. Gary is round. Gary is young. Harry is big. Harry is cold. Harry is kind. Harry is young. If Charlie is furry and Charlie is kind then Charlie is green. Green, round things are cold. If something is green then it is furry. All cold things are young. If Erin is round and Erin is furry then Erin is cold. If Harry is furry and Harry is green then Harry is round. All round things are green. All cold, young things are round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is furry and Charlie is kind then Charlie is green.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "green" "+"))
Green, round things are cold.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is green then it is furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
All cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Erin is round and Erin is furry then Erin is cold.
((("Erin" "is" "round" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "cold" "+"))
If Harry is furry and Harry is green then Harry is round.
((("Harry" "is" "furry" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "round" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
All cold, young things are round.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Charlie is round.
True
1
proof
[(triple4 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple2) -> rule4)) -> rule8))]
("Charlie" "is" "round" "+")
triple4
((triple2 triple5) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Harry is not young.
False
1
inv-proof
[(triple16 OR ((triple14) -> rule4))]
("Harry" "is" "young" "-")
triple16
((triple14) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is furry.
True
2
proof
[(((triple7) -> rule3) OR ((((triple8) -> rule7)) -> rule3) OR ((((((triple6 ((triple6) -> rule4)) -> rule8)) -> rule7)) -> rule3))]
("Erin" "is" "furry" "+")
((triple7) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple6 ((triple6) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is not furry.
False
2
inv-proof
[(((triple7) -> rule3) OR ((((triple8) -> rule7)) -> rule3) OR ((((((triple6 ((triple6) -> rule4)) -> rule8)) -> rule7)) -> rule3))]
("Erin" "is" "furry" "-")
((triple7) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple6 ((triple6) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Harry is green.
True
4
proof
[(((((triple14 triple16) -> rule8)) -> rule7) OR ((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7))]
("Harry" "is" "green" "+")
((((triple14 triple16) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple14 ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not green.
False
4
inv-proof
[(((((triple14 triple16) -> rule8)) -> rule7) OR ((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7))]
("Harry" "is" "green" "-")
((((triple14 triple16) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple14 ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
True
5
proof
[(((((((triple14 triple16) -> rule8)) -> rule7)) -> rule3) OR ((((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7)) -> rule3))]
("Harry" "is" "furry" "+")
((((((triple14 triple16) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple14 ((triple14) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not furry.
False
5
inv-proof
[(((((((triple14 triple16) -> rule8)) -> rule7)) -> rule3) OR ((((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7)) -> rule3))]
("Harry" "is" "furry" "-")
((((((triple14 triple16) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple14 ((triple14) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple3 triple4) -> rule2) OR ((((triple4) -> rule7) triple4) -> rule2))] Charlie is green.[(triple3 OR ((triple4) -> rule7) OR ((((triple2 triple5) -> rule8)) -> rule7) OR ((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7))] Charlie is round.[(triple4 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple2) -> rule4)) -> rule8))] Charlie is young.[(triple5 OR ((triple2) -> rule4) OR ((((triple3 triple4) -> rule2)) -> rule4) OR ((((((triple4) -> rule7) triple4) -> rule2)) -> rule4))] Erin is cold.[(triple6 OR ((triple7 triple8) -> rule2) OR ((triple8 ((triple7) -> rule3)) -> rule5) OR ((((triple8) -> rule7) triple8) -> rule2) OR ((triple8 ((((triple8) -> rule7)) -> rule3)) -> rule5))] Erin is green.[(triple7 OR ((triple8) -> rule7) OR ((((triple6 ((triple6) -> rule4)) -> rule8)) -> rule7))] Erin is round.[(triple8 OR ((triple6 ((triple6) -> rule4)) -> rule8))] Gary is cold.[(triple9 OR ((((triple11) -> rule7) triple11) -> rule2))] Gary is furry.[(triple10 OR ((((triple11) -> rule7)) -> rule3) OR ((((((triple9 triple12) -> rule8)) -> rule7)) -> rule3) OR ((((((triple9 ((triple9) -> rule4)) -> rule8)) -> rule7)) -> rule3))] Gary is round.[(triple11 OR ((triple9 triple12) -> rule8) OR ((triple9 ((triple9) -> rule4)) -> rule8))] Gary is young.[(triple12 OR ((triple9) -> rule4) OR ((((((triple11) -> rule7) triple11) -> rule2)) -> rule4))] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is kind.[(triple15)] Harry is young.[(triple16 OR ((triple14) -> rule4))] @1: Charlie is furry.[(((triple3) -> rule3) OR ((((triple4) -> rule7)) -> rule3) OR ((((((triple2 triple5) -> rule8)) -> rule7)) -> rule3) OR ((((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7)) -> rule3))] Erin is furry.[(((triple7) -> rule3) OR ((((triple8) -> rule7)) -> rule3) OR ((((((triple6 ((triple6) -> rule4)) -> rule8)) -> rule7)) -> rule3))] Erin is young.[(((triple6) -> rule4) OR ((((triple7 triple8) -> rule2)) -> rule4) OR ((((triple8 ((triple7) -> rule3)) -> rule5)) -> rule4) OR ((((((triple8) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple8 ((((triple8) -> rule7)) -> rule3)) -> rule5)) -> rule4))] Gary is green.[(((triple11) -> rule7) OR ((((triple9 triple12) -> rule8)) -> rule7) OR ((((triple9 ((triple9) -> rule4)) -> rule8)) -> rule7))] Harry is round.[(((triple14 triple16) -> rule8) OR ((triple14 ((triple14) -> rule4)) -> rule8))] @2: Harry is green.[(((((triple14 triple16) -> rule8)) -> rule7) OR ((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7))] @3: Harry is furry.[(((((((triple14 triple16) -> rule8)) -> rule7)) -> rule3) OR ((((((triple14 ((triple14) -> rule4)) -> rule8)) -> rule7)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple3 triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple4) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple4) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple2 triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2 ((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((triple2 triple5) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple5
((triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple3 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple4) -> (rule7 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((triple7 triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple8 ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple8) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple8 ((((triple8) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple8) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple8
((triple6 ((triple6) -> (rule4 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple9
((((triple11) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple10
((((triple11) -> (rule7 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple9 triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple9 ((triple9) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple11
((triple9 triple12) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((triple11) -> (rule7 % int3)) triple11) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple14) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((((triple2 triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple2 ((triple2) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((triple7) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple6 ((triple6) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((triple6) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple7 triple8) -> (rule2 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8 ((triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple8 ((((triple8) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((triple11) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple9 triple12) -> (rule8 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple9 ((triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple14 triple16) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple14 ((triple14) -> (rule4 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple14 triple16) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple14 ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple14 triple16) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple14 ((triple14) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4