Charlie is furry. Erin is big. Erin is nice. Gary is big. Gary is furry. Gary is green. Harry is blue. Harry is green. Harry is rough. Harry is white. Furry, green people are nice. All nice, rough people are blue. All white, green people are blue. If someone is furry then they are green. Nice people are blue. All nice, white people are green. If someone is blue and green then they are white. White people are rough. All big people are furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Furry, green people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
All nice, rough people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
All white, green people are blue.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
All nice, white people are green.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
White people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
All big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Gary is nice.
True
3
proof
[(((triple5 triple6) -> rule1) OR ((triple5 ((triple5) -> rule4)) -> rule1) OR ((((triple4) -> rule9) triple6) -> rule1) OR ((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1) OR ((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1) OR ((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1))]
("Gary" "is" "nice" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple5 ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple4) -> (rule9 % int2)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple4) -> (rule9 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple5 ((((triple4) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple4) -> (rule9 % int3)) ((((triple4) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Charlie is not green.
False
2
inv-proof
[(((triple1) -> rule4))]
("Charlie" "is" "green" "-")
((triple1) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is green.
True
3
proof
[(((((triple2) -> rule9)) -> rule4))]
("Erin" "is" "green" "+")
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple2) -> rule9)) -> rule4))]
("Erin" "is" "green" "-")
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is white.
True
6
proof
[(((((((triple5 triple6) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7))]
("Gary" "is" "white" "+")
((((((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple4) -> (rule9 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Charlie is not blue.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5))]
("Charlie" "is" "blue" "-")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Gary is rough.
True
7
proof
[(((((((((triple5 triple6) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8))]
("Gary" "is" "rough" "+")
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple5 triple6) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple4) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple4) -> (rule9 % int6)) triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
Erin is not rough.
False
7
inv-proof
[(((((((triple3) -> rule5) ((((triple2) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule9)) -> rule4)) -> rule7)) -> rule8))]
("Erin" "is" "rough" "-")
((((((triple3) -> (rule5 % int5)) ((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple2) -> (rule9 % int6)) ((((triple2) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Charlie is rough.
True
9
proof
[(((((((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5) ((triple1) -> rule4)) -> rule7)) -> rule8))]
("Charlie" "is" "rough" "+")
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple1) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is not rough.
False
9
inv-proof
[(((((((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5) ((triple1) -> rule4)) -> rule7)) -> rule8))]
("Charlie" "is" "rough" "-")
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple1) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule9 <- FAIL)]]
("Harry" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Charlie is furry.[(triple1)] Erin is big.[(triple2)] Erin is nice.[(triple3 OR ((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule4)) -> rule1))] Gary is big.[(triple4)] Gary is furry.[(triple5 OR ((triple4) -> rule9))] Gary is green.[(triple6 OR ((triple5) -> rule4) OR ((((triple4) -> rule9)) -> rule4))] Harry is blue.[(triple7 OR ((triple10 triple8) -> rule3))] Harry is green.[(triple8)] Harry is rough.[(triple9 OR ((triple10) -> rule8) OR ((((triple7 triple8) -> rule7)) -> rule8))] Harry is white.[(triple10 OR ((triple7 triple8) -> rule7))] @1: Charlie is green.[(((triple1) -> rule4))] Erin is blue.[(((triple3) -> rule5) OR ((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule4)) -> rule1)) -> rule5))] Erin is furry.[(((triple2) -> rule9))] Gary is nice.[(((triple5 triple6) -> rule1) OR ((triple5 ((triple5) -> rule4)) -> rule1) OR ((((triple4) -> rule9) triple6) -> rule1) OR ((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1) OR ((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1) OR ((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1))] @2: Charlie is nice.[(((triple1 ((triple1) -> rule4)) -> rule1))] Erin is green.[(((((triple2) -> rule9)) -> rule4))] Gary is blue.[(((((triple5 triple6) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) OR ((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5))] @3: Charlie is blue.[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5))] Erin is white.[(((((triple3) -> rule5) ((((triple2) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule9)) -> rule4)) -> rule7))] Gary is white.[(((((((triple5 triple6) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7) OR ((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7))] @4: Charlie is white.[(((((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5) ((triple1) -> rule4)) -> rule7))] Erin is rough.[(((((((triple3) -> rule5) ((((triple2) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple2) -> rule9) ((((triple2) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple2) -> rule9)) -> rule4)) -> rule7)) -> rule8))] Gary is rough.[(((((((((triple5 triple6) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple5 triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) triple6) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((triple5) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple5 ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((triple5) -> rule4)) -> rule7)) -> rule8) OR ((((((((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule4)) -> rule1)) -> rule5) ((((triple4) -> rule9)) -> rule4)) -> rule7)) -> rule8))] @5: Charlie is rough.[(((((((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5) ((triple1) -> rule4)) -> rule7)) -> rule8))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
((((triple2) -> (rule9 % int3)) ((((triple2) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((triple4) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple5) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple4) -> (rule9 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple7
((triple10 triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
((triple10) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple7 triple8) -> (rule7 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple10
((triple7 triple8) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple1) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((((triple2) -> (rule9 % int4)) ((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule9 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple5 ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple4) -> (rule9 % int2)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple4) -> (rule9 % int3)) ((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple5 ((((triple4) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple4) -> (rule9 % int3)) ((((triple4) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple5 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple5 ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple4) -> (rule9 % int3)) triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple4) -> (rule9 % int4)) ((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple5 ((((triple4) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple4) -> (rule9 % int4)) ((((triple4) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((((triple3) -> (rule5 % int4)) ((((triple2) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((((triple2) -> (rule9 % int5)) ((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
((((((triple5 triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple4) -> (rule9 % int4)) triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple5 ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple5 ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple4) -> (rule9 % int5)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((((triple4) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple1 ((triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int4))) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple3) -> (rule5 % int5)) ((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((((triple2) -> (rule9 % int6)) ((((triple2) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
Gary is rough.
("Gary" "is" "rough" "+")
((((((((triple5 triple6) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple5 triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple5 triple6) -> (rule1 % int6))) -> (rule5 % int5)) ((((triple4) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple4) -> (rule9 % int5)) triple6) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple5 ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple4) -> (rule9 % int6)) triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((triple5) -> (rule4 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((((triple4) -> (rule9 % int6)) triple6) -> (rule1 % int5))) -> (rule5 % int4)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple5 ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple4) -> (rule9 % int6)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple4) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((((triple1 ((triple1) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple1) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5