Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Gary is furry. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is young. If someone is furry and round then they are kind. All young, kind people are rough. If someone is green then they are furry. All young people are smart. If Gary is kind and Gary is smart then Gary is green. All rough, young people are green. If someone is furry and kind then they are round. If Gary is furry and Gary is kind then Gary is round.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is furry and round then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All young, kind people are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If Gary is kind and Gary is smart then Gary is green.
((("Gary" "is" "kind" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "green" "+"))
All rough, young people are green.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is furry and kind then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If Gary is furry and Gary is kind then Gary is round.
((("Gary" "is" "furry" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "round" "+"))
Gary is round.
True
1
proof
[(triple12 OR ((triple8 triple10) -> rule7) OR ((triple8 triple10) -> rule8) OR ((((triple9) -> rule3) triple10) -> rule7) OR ((((triple9) -> rule3) triple10) -> rule8) OR ((((((triple10 triple13) -> rule5)) -> rule3) triple10) -> rule7) OR ((((((triple10 triple13) -> rule5)) -> rule3) triple10) -> rule8) OR ((((((triple11 triple14) -> rule6)) -> rule3) triple10) -> rule7) OR ((((((triple11 triple14) -> rule6)) -> rule3) triple10) -> rule8) OR ((((((triple10 ((triple14) -> rule4)) -> rule5)) -> rule3) triple10) -> rule7) OR ((((((triple10 ((triple14) -> rule4)) -> rule5)) -> rule3) triple10) -> rule8) OR ((((((((triple14 triple10) -> rule2) triple14) -> rule6)) -> rule3) triple10) -> rule7) OR ((((((((triple14 triple10) -> rule2) triple14) -> rule6)) -> rule3) triple10) -> rule8))]
("Gary" "is" "round" "+")
triple12
((triple8 triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple8 triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple9) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple9) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple10 triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10 triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10 ((triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple10 ((triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple14 triple10) -> (rule2 % int4)) triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple14 triple10) -> (rule2 % int4)) triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not furry.
False
1
inv-proof
[(triple8 OR ((triple9) -> rule3) OR ((((triple10 triple13) -> rule5)) -> rule3) OR ((((triple11 triple14) -> rule6)) -> rule3) OR ((((triple10 ((triple14) -> rule4)) -> rule5)) -> rule3) OR ((((((triple14 triple10) -> rule2) triple14) -> rule6)) -> rule3))]
("Gary" "is" "furry" "-")
triple8
((triple9) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple10 triple13) -> (rule5 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple11 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple14 triple10) -> (rule2 % int3)) triple14) -> (rule6 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
@0: Fiona is furry.[(triple1 OR ((triple2) -> rule3) OR ((((triple4 triple7) -> rule6)) -> rule3) OR ((((((triple7 triple3) -> rule2) triple7) -> rule6)) -> rule3))] Fiona is green.[(triple2 OR ((triple4 triple7) -> rule6) OR ((((triple7 triple3) -> rule2) triple7) -> rule6) OR ((((triple7 ((triple1 triple5) -> rule1)) -> rule2) triple7) -> rule6))] Fiona is kind.[(triple3 OR ((triple1 triple5) -> rule1) OR ((((triple2) -> rule3) triple5) -> rule1) OR ((((((triple4 triple7) -> rule6)) -> rule3) triple5) -> rule1))] Fiona is rough.[(triple4 OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple1 triple5) -> rule1)) -> rule2) OR ((triple7 ((((triple2) -> rule3) triple5) -> rule1)) -> rule2))] Fiona is round.[(triple5 OR ((triple1 triple3) -> rule7) OR ((((triple2) -> rule3) triple3) -> rule7) OR ((((((triple4 triple7) -> rule6)) -> rule3) triple3) -> rule7) OR ((((((((triple7 triple3) -> rule2) triple7) -> rule6)) -> rule3) triple3) -> rule7))] Fiona is smart.[(triple6 OR ((triple7) -> rule4))] Fiona is young.[(triple7)] Gary is furry.[(triple8 OR ((triple9) -> rule3) OR ((((triple10 triple13) -> rule5)) -> rule3) OR ((((triple11 triple14) -> rule6)) -> rule3) OR ((((triple10 ((triple14) -> rule4)) -> rule5)) -> rule3) OR ((((((triple14 triple10) -> rule2) triple14) -> rule6)) -> rule3))] Gary is green.[(triple9 OR ((triple10 triple13) -> rule5) OR ((triple11 triple14) -> rule6) OR ((triple10 ((triple14) -> rule4)) -> rule5) OR ((((triple14 triple10) -> rule2) triple14) -> rule6) OR ((((triple8 triple12) -> rule1) triple13) -> rule5) OR ((((triple8 triple12) -> rule1) ((triple14) -> rule4)) -> rule5) OR ((((triple14 ((triple8 triple12) -> rule1)) -> rule2) triple14) -> rule6))] Gary is kind.[(triple10 OR ((triple8 triple12) -> rule1) OR ((((triple9) -> rule3) triple12) -> rule1) OR ((((((triple11 triple14) -> rule6)) -> rule3) triple12) -> rule1))] Gary is rough.[(triple11 OR ((triple14 triple10) -> rule2) OR ((triple14 ((triple8 triple12) -> rule1)) -> rule2) OR ((triple14 ((((triple9) -> rule3) triple12) -> rule1)) -> rule2))] Gary is round.[(triple12 OR ((triple8 triple10) -> rule7) OR ((triple8 triple10) -> rule8) OR ((((triple9) -> rule3) triple10) -> rule7) OR ((((triple9) -> rule3) triple10) -> rule8) OR ((((((triple10 triple13) -> rule5)) -> rule3) triple10) -> rule7) OR ((((((triple10 triple13) -> rule5)) -> rule3) triple10) -> rule8) OR ((((((triple11 triple14) -> rule6)) -> rule3) triple10) -> rule7) OR ((((((triple11 triple14) -> rule6)) -> rule3) triple10) -> rule8) OR ((((((triple10 ((triple14) -> rule4)) -> rule5)) -> rule3) triple10) -> rule7) OR ((((((triple10 ((triple14) -> rule4)) -> rule5)) -> rule3) triple10) -> rule8) OR ((((((((triple14 triple10) -> rule2) triple14) -> rule6)) -> rule3) triple10) -> rule7) OR ((((((((triple14 triple10) -> rule2) triple14) -> rule6)) -> rule3) triple10) -> rule8))] Gary is smart.[(triple13 OR ((triple14) -> rule4))] Gary is young.[(triple14)]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple4 triple7) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple7 triple3) -> (rule2 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple2
((triple4 triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple7 triple3) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7 ((triple1 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
((triple1 triple5) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple2) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple4 triple7) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
((triple7 triple3) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple7 ((triple1 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple7 ((((triple2) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple5
((triple1 triple3) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple2) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple4 triple7) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple7 triple3) -> (rule2 % int4)) triple7) -> (rule6 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
((triple9) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple10 triple13) -> (rule5 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple11 triple14) -> (rule6 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple10 ((triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple14 triple10) -> (rule2 % int3)) triple14) -> (rule6 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple9
((triple10 triple13) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple11 triple14) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple10 ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple14 triple10) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple8 triple12) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple12) -> (rule1 % int3)) ((triple14) -> (rule4 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple14 ((triple8 triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple8 triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple9) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple11 triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((triple14 triple10) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple14 ((triple8 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((triple14 ((((triple9) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple12
((triple8 triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple8 triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple9) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple9) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple10 triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10 triple13) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10 ((triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((triple10 ((triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple14 triple10) -> (rule2 % int4)) triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple14 triple10) -> (rule2 % int4)) triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
triple13
((triple14) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple14