Dave is nice. Dave is rough. Dave is young. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Gary is blue. Gary is rough. All blue people are nice. All red, nice people are young. All smart, nice people are kind. All young people are red. All red people are nice. All blue people are young. All smart people are young. Nice people are smart.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All red, nice people are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All smart, nice people are kind.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
All young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Fiona is rough.
True
1
proof
[(triple6)]
("Fiona" "is" "rough" "+")
triple6
Gary is not blue.
False
1
inv-proof
[(triple9)]
("Gary" "is" "blue" "-")
triple9
Gary is nice.
True
2
proof
[(((triple9) -> rule1) OR ((((((triple9) -> rule6)) -> rule4)) -> rule5))]
("Gary" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not young.
False
2
inv-proof
[(((triple9) -> rule6) OR ((((((triple9) -> rule1)) -> rule8)) -> rule7))]
("Gary" "is" "young" "-")
((triple9) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Dave is nice.[(triple1 OR ((((triple3) -> rule4)) -> rule5))] Dave is rough.[(triple2)] Dave is young.[(triple3 OR ((((triple1) -> rule8)) -> rule7))] Fiona is nice.[(triple4 OR ((triple5) -> rule5) OR ((((triple8) -> rule4)) -> rule5) OR ((((((triple7) -> rule7)) -> rule4)) -> rule5))] Fiona is red.[(triple5 OR ((triple8) -> rule4) OR ((((triple7) -> rule7)) -> rule4) OR ((((((triple4) -> rule8)) -> rule7)) -> rule4))] Fiona is rough.[(triple6)] Fiona is smart.[(triple7 OR ((triple4) -> rule8) OR ((((triple5) -> rule5)) -> rule8) OR ((((((triple8) -> rule4)) -> rule5)) -> rule8))] Fiona is young.[(triple8 OR ((triple7) -> rule7) OR ((triple5 triple4) -> rule2) OR ((((triple4) -> rule8)) -> rule7) OR ((triple5 ((triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule5)) -> rule8)) -> rule7))] Gary is blue.[(triple9)] Gary is rough.[(triple10)] @1: Dave is red.[(((triple3) -> rule4) OR ((((((triple1) -> rule8)) -> rule7)) -> rule4))] Dave is smart.[(((triple1) -> rule8) OR ((((((triple3) -> rule4)) -> rule5)) -> rule8))] Fiona is kind.[(((triple7 triple4) -> rule3) OR ((triple7 ((triple5) -> rule5)) -> rule3) OR ((((triple4) -> rule8) triple4) -> rule3) OR ((((triple4) -> rule8) ((triple5) -> rule5)) -> rule3) OR ((triple7 ((((triple8) -> rule4)) -> rule5)) -> rule3) OR ((((((triple5) -> rule5)) -> rule8) triple4) -> rule3) OR ((((triple4) -> rule8) ((((triple8) -> rule4)) -> rule5)) -> rule3) OR ((((((triple5) -> rule5)) -> rule8) ((triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule5)) -> rule3) OR ((triple7 ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule8) triple4) -> rule3) OR ((((triple4) -> rule8) ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule8) ((triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule5)) -> rule8) ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule8) ((((((triple7) -> rule7)) -> rule4)) -> rule5)) -> rule3))] Gary is nice.[(((triple9) -> rule1) OR ((((((triple9) -> rule6)) -> rule4)) -> rule5))] Gary is young.[(((triple9) -> rule6) OR ((((((triple9) -> rule1)) -> rule8)) -> rule7))] @2: Dave is kind.[(((((triple1) -> rule8) triple1) -> rule3) OR ((((triple1) -> rule8) ((((triple3) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule5)) -> rule8) triple1) -> rule3) OR ((((((((triple3) -> rule4)) -> rule5)) -> rule8) ((((triple3) -> rule4)) -> rule5)) -> rule3))] Gary is red.[(((((triple9) -> rule6)) -> rule4) OR ((((((((triple9) -> rule1)) -> rule8)) -> rule7)) -> rule4))] Gary is smart.[(((((triple9) -> rule1)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5)) -> rule8))] @3: Gary is kind.[(((((((triple9) -> rule1)) -> rule8) ((triple9) -> rule1)) -> rule3) OR ((((((triple9) -> rule1)) -> rule8) ((((((triple9) -> rule6)) -> rule4)) -> rule5)) -> rule3) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule5)) -> rule8) ((triple9) -> rule1)) -> rule3) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule5)) -> rule8) ((((((triple9) -> rule6)) -> rule4)) -> rule5)) -> rule3))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
((triple5) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple5
((triple8) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple4) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple8
((triple7) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple5 triple4) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple5 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
((triple3) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((triple1) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7 triple4) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple4) -> (rule8 % int2)) triple4) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((triple7 ((((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple4) -> (rule8 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple5) -> (rule5 % int3))) -> (rule8 % int2)) ((triple5) -> (rule5 % int3))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple5) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule4 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((triple7 ((((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((triple8) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple4) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple4) -> (rule8 % int5)) ((((((triple7) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple8) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple5) -> (rule5 % int3))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple5) -> (rule5 % int5))) -> (rule8 % int4)) ((((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int5))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((triple8) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((((triple8) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple8) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((((((triple7) -> (rule7 % int2))) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple9) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple1) -> (rule8 % int4)) ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((((triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((((triple9) -> (rule1 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple9) -> (rule1 % int3))) -> (rule8 % int2)) ((triple9) -> (rule1 % int3))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple9) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int5))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple9) -> (rule1 % int3))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5