When you first meet Bob you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. You should meet Dave, he is big and rough on the football field but also very young in age. Fred ate some rotten meat and now feels green. Harry is big and rough. People who are young, while being red and cold, are big people. Big people that have a rough demeanor usually feel blue. Rough people will often be blue.  They thrive on being kind and nice. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. If someone happens to be cold and rough, they wont be nice and live green lifestyle. Anyone who is known to be kind, nice, and round is generally also known to be a green color. Young people that are nice and green tend to be blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("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 nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Harry is big.
True
1
proof
[(triple11)]
("Harry" "is" "big" "+")
triple11
Harry is not rough.
False
1
inv-proof
[(triple10)]
("Harry" "is" "rough" "-")
triple10
Dave is blue.
True
3
proof
[(((triple8 triple7) -> rule2))]
("Dave" "is" "blue" "+")
((triple8 triple7) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple8 triple7) -> rule2))]
("Dave" "is" "blue" "-")
((triple8 triple7) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Bob is nice.
True
6
proof
[(((triple2 triple3 ((triple5 triple2) -> rule2)) -> rule3))]
("Bob" "is" "nice" "+")
((triple2 triple3 ((triple5 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((triple2 triple3 ((triple5 triple2) -> rule2)) -> rule3))]
("Bob" "is" "nice" "-")
((triple2 triple3 ((triple5 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
True
9
proof
[(((triple4 ((triple2 triple3 ((triple5 triple2) -> rule2)) -> rule3) triple2) -> rule5))]
("Bob" "is" "green" "+")
((triple4 ((triple2 triple3 ((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not green.
False
9
inv-proof
[(((triple4 ((triple2 triple3 ((triple5 triple2) -> rule2)) -> rule3) triple2) -> rule5))]
("Bob" "is" "green" "-")
((triple4 ((triple2 triple3 ((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Fred is green.[(triple9)] Harry is big.[(triple11)] Harry is rough.[(triple10)] @1: Bob is blue.[(((triple5 triple2) -> rule2))] Dave is blue.[(((triple8 triple7) -> rule2))] Harry is blue.[(((triple11 triple10) -> rule2))] @2: Bob is nice.[(((triple2 triple3 ((triple5 triple2) -> rule2)) -> rule3))] @3: Bob is green.[(((triple4 ((triple2 triple3 ((triple5 triple2) -> rule2)) -> rule3) triple2) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple5 triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple8 triple7) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11 triple10) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3 ((triple5 triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple4 ((triple2 triple3 ((triple5 triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
When you first meet Bob you know he is young and big, but later you find out he is also, incredibly kind, cold and rough.
You should meet Dave, he is big and rough on the football field but also very young in age.
Fred ate some rotten meat and now feels green.
Harry is big and rough.
People who are young, while being red and cold, are big people.
Big people that have a rough demeanor usually feel blue.
Rough people will often be blue; They thrive on being kind and nice.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
If someone happens to be cold and rough, they wont be nice and live green lifestyle.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Young people that are nice and green tend to be blue.