Fred is known to be rough and green. Gary's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Harry has a round face and is very nice. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. A person who is cold but red, and big in size is young for sure. Anyone that is a red, nice soul will be big, too. If red and slightly green people are asked, they will tell you they feel blue. Blue people who are big tend to be rough. A big and blue colored person is also certainly very kind.
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Fred is rough.
True
1
proof
[(triple1)]
("Fred" "is" "rough" "+")
triple1
Fred is not rough.
False
1
inv-proof
[(triple1)]
("Fred" "is" "rough" "-")
triple1
Gary is red.
True
4
proof
[(((triple5 triple3 triple4) -> rule1))]
("Gary" "is" "red" "+")
((triple5 triple3 triple4) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
4
inv-proof
[(((triple5 triple3 triple4) -> rule1))]
("Gary" "is" "red" "-")
((triple5 triple3 triple4) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
True
6
proof
[(((((triple5 triple3 triple4) -> rule1) triple3) -> rule3))]
("Gary" "is" "big" "+")
((((triple5 triple3 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not big.
False
6
inv-proof
[(((((triple5 triple3 triple4) -> rule1) triple3) -> rule3))]
("Gary" "is" "big" "-")
((((triple5 triple3 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
True
8
proof
[(((triple5 ((((triple5 triple3 triple4) -> rule1) triple3) -> rule3)) -> rule6))]
("Gary" "is" "kind" "+")
((triple5 ((((triple5 triple3 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not kind.
False
8
inv-proof
[(((triple5 ((((triple5 triple3 triple4) -> rule1) triple3) -> rule3)) -> rule6))]
("Gary" "is" "kind" "-")
((triple5 ((((triple5 triple3 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Dave is rough.
Unknown
rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Fred is green.[(triple2)] Fred is rough.[(triple1)] Gary is blue.[(triple5)] Gary is green.[(triple4)] Gary is nice.[(triple3)] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Gary is red.[(((triple5 triple3 triple4) -> rule1))] @2: Gary is big.[(((((triple5 triple3 triple4) -> rule1) triple3) -> rule3))] @3: Gary is kind.[(((triple5 ((((triple5 triple3 triple4) -> rule1) triple3) -> rule3)) -> rule6))] Gary is rough.[(((triple5 ((((triple5 triple3 triple4) -> rule1) triple3) -> rule3)) -> rule5))]
Fred is green.
("Fred" "is" "green" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
((triple5 triple3 triple4) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple5 triple3 triple4) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple5 ((((triple5 triple3 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((triple5 ((((triple5 triple3 triple4) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Fred is known to be rough and green.
Gary's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Harry has a round face and is very nice.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
A person who is cold but red, and big in size is young for sure.
Anyone that is a red, nice soul will be big, too.
If red and slightly green people are asked, they will tell you they feel blue.
Blue people who are big tend to be rough.
A big and blue colored person is also certainly very kind.