Alan was born only a few years ago so he is young. That Gary is a round, rough fellow, and he's nice, as well as big. Harry is a nice person, but he is both blue and red. I know anyone I meet who is big, nice, and round will be young. A big and young, round someone looks red. Among the green people who are young, the color blue is always part of them. I've noticed that red, cold people who are kind have the trait of rough skin. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. Nice people who are looking green and seeing red usually feel rather rough. A nice person with rough skin will be round, you can count on it.
Alan is young.
("Alan" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Gary is nice.
True
1
proof
[(triple4)]
("Gary" "is" "nice" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple2 OR ((triple3 triple4) -> rule7))]
("Gary" "is" "round" "-")
triple2
((triple3 triple4) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
True
4
proof
[(((triple5 triple4 triple2) -> rule1) OR ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1))]
("Gary" "is" "young" "+")
((triple5 triple4 triple2) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple5 triple4 ((triple3 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not young.
False
4
inv-proof
[(((triple5 triple4 triple2) -> rule1) OR ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1))]
("Gary" "is" "young" "-")
((triple5 triple4 triple2) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple5 triple4 ((triple3 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
True
7
proof
[(((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2))]
("Gary" "is" "red" "+")
((triple5 ((triple5 triple4 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple5 ((triple5 triple4 triple2) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not red.
False
7
inv-proof
[(((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2))]
("Gary" "is" "red" "-")
((triple5 ((triple5 triple4 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple5 ((triple5 triple4 triple2) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
True
13
proof
[(((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5))]
("Gary" "is" "blue" "+")
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) triple2) -> (rule2 % int3)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int2))) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not blue.
False
13
inv-proof
[(((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5))]
("Gary" "is" "blue" "-")
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) triple2) -> (rule2 % int3)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int2))) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is young.[(triple1)] Gary is big.[(triple5)] Gary is nice.[(triple4)] Gary is rough.[(triple3)] Gary is round.[(triple2 OR ((triple3 triple4) -> rule7))] Harry is blue.[(triple8)] Harry is nice.[(triple7)] Harry is red.[(triple6)] @1: Gary is young.[(((triple5 triple4 triple2) -> rule1) OR ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1))] @2: Gary is red.[(((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) OR ((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2))] @3: Gary is blue.[(((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 triple2) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple2) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 triple2) -> rule1) triple3) -> rule5) OR ((((triple5 ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) ((triple3 triple4) -> rule7)) -> rule2) ((triple5 triple4 ((triple3 triple4) -> rule7)) -> rule1) triple3) -> rule5))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple2
((triple3 triple4) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
((triple5 triple4 triple2) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple5 triple4 ((triple3 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple5 ((triple5 triple4 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple5 ((triple5 triple4 triple2) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) triple2) -> (rule2 % int3)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int2))) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 triple2) -> (rule1 % int4)) ((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int3))) -> (rule1 % int4)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int2)) ((triple5 triple4 triple2) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple5 ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule7 % int4))) -> (rule2 % int2)) ((triple5 triple4 ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple3) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Alan was born only a few years ago so he is young.
That Gary is a round, rough fellow, and he's nice, as well as big.
Harry is a nice person, but he is both blue and red.
I know anyone I meet who is big, nice, and round will be young.
A big and young, round someone looks red.
Among the green people who are young, the color blue is always part of them.
I've noticed that red, cold people who are kind have the trait of rough skin.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
Nice people who are looking green and seeing red usually feel rather rough.
A nice person with rough skin will be round, you can count on it.