Anne is furry. Anne is quiet. Anne is round. Anne is smart. Gary is quiet. Gary is red. Gary is rough. Quiet people are round. If Gary is rough and Gary is round then Gary is furry. Rough, round people are red. If Gary is nice and Gary is smart then Gary is furry. If Gary is quiet then Gary is red. If Gary is red and Gary is rough then Gary is round. Round people are rough. Furry people are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If Gary is rough and Gary is round then Gary is furry.
((("Gary" "is" "rough" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "furry" "+"))
Rough, round people are red.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Gary is nice and Gary is smart then Gary is furry.
((("Gary" "is" "nice" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "furry" "+"))
If Gary is quiet then Gary is red.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "red" "+"))
If Gary is red and Gary is rough then Gary is round.
((("Gary" "is" "red" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "round" "+"))
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Gary is rough.
True
1
proof
[(triple7 OR ((((triple5) -> rule1)) -> rule7))]
("Gary" "is" "rough" "+")
triple7
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Anne is not round.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Anne" "is" "round" "-")
triple3
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Gary is round.
True
2
proof
[(((triple5) -> rule1) OR ((triple6 triple7) -> rule6) OR ((((triple5) -> rule5) triple7) -> rule6))]
("Gary" "is" "round" "+")
((triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple6 triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple5) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Anne is not rough.
False
2
inv-proof
[(((triple3) -> rule7) OR ((((triple2) -> rule1)) -> rule7))]
("Anne" "is" "rough" "-")
((triple3) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Gary is furry.
True
4
proof
[(((triple7 ((triple5) -> rule1)) -> rule2) OR ((triple7 ((triple6 triple7) -> rule6)) -> rule2) OR ((triple7 ((((triple5) -> rule5) triple7) -> rule6)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((triple6 triple7) -> rule6)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((((triple5) -> rule5) triple7) -> rule6)) -> rule2))]
("Gary" "is" "furry" "+")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple7 ((triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple7 ((((triple5) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) ((triple5) -> (rule1 % int3))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) ((triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule5 % int2)) triple7) -> (rule6 % int4))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Anne is not red.
False
4
inv-proof
[(((((triple3) -> rule7) triple3) -> rule3) OR ((((triple3) -> rule7) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule7) triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule3))]
("Anne" "is" "red" "-")
((((triple3) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2) -> (rule1 % int3))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Gary is smart.
True
5
proof
[(((((triple7 ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple7 ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((triple7 ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8))]
("Gary" "is" "smart" "+")
((((triple7 ((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((triple6 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((((triple5) -> (rule5 % int4)) triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((triple6 triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule5 % int3)) triple7) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is not smart.
False
5
inv-proof
[(((((triple7 ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple7 ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((triple7 ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8))]
("Gary" "is" "smart" "-")
((((triple7 ((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((triple6 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((((triple5) -> (rule5 % int4)) triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((triple6 triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule5 % int3)) triple7) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule1))] Anne is smart.[(triple4 OR ((triple1) -> rule8))] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple5) -> rule5) OR ((triple7 ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule3))] Gary is rough.[(triple7 OR ((((triple5) -> rule1)) -> rule7))] @1: Anne is rough.[(((triple3) -> rule7) OR ((((triple2) -> rule1)) -> rule7))] Gary is round.[(((triple5) -> rule1) OR ((triple6 triple7) -> rule6) OR ((((triple5) -> rule5) triple7) -> rule6))] @2: Anne is red.[(((((triple3) -> rule7) triple3) -> rule3) OR ((((triple3) -> rule7) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule7) triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule7) ((triple2) -> rule1)) -> rule3))] Gary is furry.[(((triple7 ((triple5) -> rule1)) -> rule2) OR ((triple7 ((triple6 triple7) -> rule6)) -> rule2) OR ((triple7 ((((triple5) -> rule5) triple7) -> rule6)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((triple6 triple7) -> rule6)) -> rule2) OR ((((((triple5) -> rule1)) -> rule7) ((((triple5) -> rule5) triple7) -> rule6)) -> rule2))] @3: Gary is smart.[(((((triple7 ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((triple7 ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((triple7 ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((triple6 triple7) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule7) ((((triple5) -> rule5) triple7) -> rule6)) -> rule2)) -> rule8))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
((triple5) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple7 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) ((triple5) -> (rule1 % int3))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple6 triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple5) -> (rule5 % int2)) triple7) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
((((triple3) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2)) ((triple2) -> (rule1 % int3))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple7 ((triple6 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple7 ((((triple5) -> (rule5 % int3)) triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) ((triple5) -> (rule1 % int3))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2)) ((triple6 triple7) -> (rule6 % int3))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule5 % int2)) triple7) -> (rule6 % int4))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((((triple7 ((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((triple6 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple7 ((((triple5) -> (rule5 % int4)) triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((triple5) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3)) ((triple6 triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule5 % int3)) triple7) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5