Because Bob, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Eric is known to be rough and green. Gary is interestingly colored red and blue, and is also very kind. Harry was born only a few years ago so he is young. A young aged blue person will certainly be nice. A nice and colored blue person will be rather big. A green and quite rough person will also be blue. Take a drive and find a kind and blue driver, that means they are also young. Anyone who's blue is also green.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Bob is blue.
True
1
proof
[(triple5)]
("Bob" "is" "blue" "+")
triple5
Gary is not kind.
False
1
inv-proof
[(triple9)]
("Gary" "is" "kind" "-")
triple9
Bob is green.
True
2
proof
[(((triple5) -> rule5))]
("Bob" "is" "green" "+")
((triple5) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple5) -> rule5))]
("Bob" "is" "green" "-")
((triple5) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Gary is nice.
True
5
proof
[(((((triple9 triple10) -> rule4) triple10) -> rule1))]
("Gary" "is" "nice" "+")
((((triple9 triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((((triple9 triple10) -> rule4) triple10) -> rule1))]
("Gary" "is" "nice" "-")
((((triple9 triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
True
7
proof
[(((triple10 ((((triple9 triple10) -> rule4) triple10) -> rule1)) -> rule2))]
("Gary" "is" "big" "+")
((triple10 ((((triple9 triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not big.
False
7
inv-proof
[(((triple10 ((((triple9 triple10) -> rule4) triple10) -> rule1)) -> rule2))]
("Gary" "is" "big" "-")
((triple10 ((((triple9 triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "+")
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is blue.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1 OR ((triple4 triple5) -> rule4))] Eric is green.[(triple7)] Eric is rough.[(triple6)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Harry is young.[(triple11)] @1: Bob is green.[(((triple5) -> rule5))] Bob is nice.[(((triple1 triple5) -> rule1) OR ((((triple4 triple5) -> rule4) triple5) -> rule1))] Eric is blue.[(((triple6 triple7) -> rule3))] Gary is green.[(((triple10) -> rule5))] Gary is young.[(((triple9 triple10) -> rule4))] @2: Bob is big.[(((triple5 ((triple1 triple5) -> rule1)) -> rule2) OR ((triple5 ((((triple4 triple5) -> rule4) triple5) -> rule1)) -> rule2))] Gary is nice.[(((((triple9 triple10) -> rule4) triple10) -> rule1))] @3: Gary is big.[(((triple10 ((((triple9 triple10) -> rule4) triple10) -> rule1)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
((triple4 triple5) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple11
Bob is green.
("Bob" "is" "green" "+")
((triple5) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple4 triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 triple7) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9 triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple5 ((triple1 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple5 ((((triple4 triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple9 triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple10 ((((triple9 triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Because Bob, who is young, loves to eat he is quite round; Sometimes that makes him feel blue and get rough with people who make fun of him; But he is actually quite kind.
Eric is known to be rough and green.
Gary is interestingly colored red and blue, and is also very kind.
Harry was born only a few years ago so he is young.
A young aged blue person will certainly be nice.
A nice and colored blue person will be rather big.
A green and quite rough person will also be blue.
Take a drive and find a kind and blue driver, that means they are also young.
Anyone who's blue is also green.