Alan is many colors. Red, green, and blue. He is also young, round shaped, and very nice and kind. Fred is both young and fairly round in size. Gary was born only a few years ago so he is young. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. When a young person has a round shape and feels blue, they will be green as well. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A person who is described as round and rough is usually kind. A person with nice, blue traits who is young will surely be a round person. Young people tend to be blue all the time and rough. People who are described as young, green, and big are often considered rough. Round, young folks tend to feel blue.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple10)]
("Gary" "is" "young" "+")
triple10
Harry is not blue.
False
1
inv-proof
[(triple12)]
("Harry" "is" "blue" "-")
triple12
Alan is rough.
True
3
proof
[(((triple7 triple1) -> rule5) OR ((((triple2 triple1) -> rule7) triple1) -> rule5))]
("Alan" "is" "rough" "+")
((triple7 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((((triple2 triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not rough.
False
3
inv-proof
[(((triple7 triple1) -> rule5) OR ((((triple2 triple1) -> rule7) triple1) -> rule5))]
("Alan" "is" "rough" "-")
((triple7 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((((triple2 triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is rough.
True
5
proof
[(((((triple9 triple8) -> rule7) triple8) -> rule5))]
("Fred" "is" "rough" "+")
((((triple9 triple8) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not green.
False
6
inv-proof
[(((((triple9 triple8) -> rule7) triple9 triple8) -> rule1))]
("Fred" "is" "green" "-")
((((triple9 triple8) -> (rule7 % int2)) triple9 triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
True
7
proof
[(((triple9 ((((triple9 triple8) -> rule7) triple8) -> rule5)) -> rule3))]
("Fred" "is" "kind" "+")
((triple9 ((((triple9 triple8) -> (rule7 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not kind.
False
7
inv-proof
[(((triple9 ((((triple9 triple8) -> rule7) triple8) -> rule5)) -> rule3))]
("Fred" "is" "kind" "-")
((triple9 ((((triple9 triple8) -> (rule7 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@3: Gary is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Alan is blue.[(triple7 OR ((triple2 triple1) -> rule7))] Alan is green.[(triple6 OR ((triple7 triple2 triple1) -> rule1) OR ((triple7 ((triple7 triple4 triple1) -> rule4) triple1) -> rule1) OR ((((triple2 triple1) -> rule7) triple2 triple1) -> rule1) OR ((((triple2 triple1) -> rule7) ((triple7 triple4 triple1) -> rule4) triple1) -> rule1))] Alan is kind.[(triple5 OR ((triple2 ((triple7 triple1) -> rule5)) -> rule3) OR ((((triple7 triple4 triple1) -> rule4) ((triple7 triple1) -> rule5)) -> rule3) OR ((triple2 ((((triple2 triple1) -> rule7) triple1) -> rule5)) -> rule3) OR ((((triple7 triple4 triple1) -> rule4) ((((triple2 triple1) -> rule7) triple1) -> rule5)) -> rule3))] Alan is nice.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2 OR ((triple7 triple4 triple1) -> rule4))] Alan is young.[(triple1)] Fred is round.[(triple9)] Fred is young.[(triple8)] Gary is young.[(triple10)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] @1: Alan is rough.[(((triple7 triple1) -> rule5) OR ((((triple2 triple1) -> rule7) triple1) -> rule5))] Fred is blue.[(((triple9 triple8) -> rule7))] @2: Fred is green.[(((((triple9 triple8) -> rule7) triple9 triple8) -> rule1))] Fred is rough.[(((((triple9 triple8) -> rule7) triple8) -> rule5))] @3: Fred is kind.[(((triple9 ((((triple9 triple8) -> rule7) triple8) -> rule5)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple7
((triple2 triple1) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple6
((triple7 triple2 triple1) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
((triple7 ((triple7 triple4 triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((((triple2 triple1) -> (rule7 % int2)) triple2 triple1) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
((((triple2 triple1) -> (rule7 % int3)) ((triple7 triple4 triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
triple5
((triple2 ((triple7 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
((((triple7 triple4 triple1) -> (rule4 % int3)) ((triple7 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((triple2 ((((triple2 triple1) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
((((triple7 triple4 triple1) -> (rule4 % int4)) ((((triple2 triple1) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is nice.
("Alan" "is" "nice" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
((triple7 triple4 triple1) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
triple1
Fred is round.
("Fred" "is" "round" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Alan is rough.
("Alan" "is" "rough" "+")
((triple7 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((((triple2 triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 triple8) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple9 triple8) -> (rule7 % int2)) triple9 triple8) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple9 triple8) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple9 ((((triple9 triple8) -> (rule7 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is many colors; Red, green, and blue; He is also young, round shaped, and very nice and kind.
Fred is both young and fairly round in size.
Gary was born only a few years ago so he is young.
Harry grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
When a young person has a round shape and feels blue, they will be green as well.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
A person who is described as round and rough is usually kind.
A person with nice, blue traits who is young will surely be a round person.
Young people tend to be blue all the time and rough.
People who are described as young, green, and big are often considered rough.
Round, young folks tend to feel blue.