Alan is big and red, but he's young and will grow out of it. You should meet Fred, he is big and rough on the football field but also very young in age. Harry wears all blue. A young aged and blue colored person will certainly be round. Big people who are round in stature and also feel rough are often cold to other people. Anybody that is big is also someone who is going to be blue. Rough people will often be blue.  They thrive on being kind and nice. Someone who tends to be icy cold and rough but secretly nice are generally very blue. Blue and red people who are young always have rough skin. It's true that green and blue people are also red people.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Alan is big.
True
1
proof
[(triple3)]
("Alan" "is" "big" "+")
triple3
Fred is not young.
False
1
inv-proof
[(triple4)]
("Fred" "is" "young" "-")
triple4
Alan is blue.
True
2
proof
[(((triple3) -> rule3))]
("Alan" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("Alan" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
True
4
proof
[(((triple1 ((triple3) -> rule3)) -> rule1))]
("Alan" "is" "round" "+")
((triple1 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not rough.
False
5
inv-proof
[(((((triple3) -> rule3) triple2 triple1) -> rule6))]
("Alan" "is" "rough" "-")
((((triple3) -> (rule3 % int2)) triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
True
11
proof
[(((triple3 ((((triple3) -> rule3) triple2 triple1) -> rule6) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2))]
("Alan" "is" "cold" "+")
((triple3 ((((triple3) -> (rule3 % int4)) triple2 triple1) -> (rule6 % int3)) ((triple1 ((triple3) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not cold.
False
11
inv-proof
[(((triple3 ((((triple3) -> rule3) triple2 triple1) -> rule6) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2))]
("Alan" "is" "cold" "-")
((triple3 ((((triple3) -> (rule3 % int4)) triple2 triple1) -> (rule6 % int3)) ((triple1 ((triple3) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Fred is big.[(triple6)] Fred is rough.[(triple5)] Fred is young.[(triple4)] Harry is blue.[(triple7)] @1: Alan is blue.[(((triple3) -> rule3))] Fred is blue.[(((triple6) -> rule3))] @2: Alan is rough.[(((((triple3) -> rule3) triple2 triple1) -> rule6))] Alan is round.[(((triple1 ((triple3) -> rule3)) -> rule1))] Fred is round.[(((triple4 ((triple6) -> rule3)) -> rule1))] @3: Alan is cold.[(((triple3 ((((triple3) -> rule3) triple2 triple1) -> rule6) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2))] Fred is cold.[(((triple6 triple5 ((triple4 ((triple6) -> rule3)) -> rule1)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Alan is blue.
("Alan" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((((triple3) -> (rule3 % int2)) triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((triple1 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple4 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 ((((triple3) -> (rule3 % int4)) triple2 triple1) -> (rule6 % int3)) ((triple1 ((triple3) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Fred is cold.
("Fred" "is" "cold" "+")
((triple6 triple5 ((triple4 ((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is big and red, but he's young and will grow out of it.
You should meet Fred, he is big and rough on the football field but also very young in age.
Harry wears all blue.
A young aged and blue colored person will certainly be round.
Big people who are round in stature and also feel rough are often cold to other people.
Anybody that is big is also someone who is going to be blue.
Rough people will often be blue; They thrive on being kind and nice.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.
Blue and red people who are young always have rough skin.
It's true that green and blue people are also red people.