Bob wears all blue. Dave gets red when he is mad and tends to act very cold. People who know Fred know he's red, kind, young, cold, blue and big. Gary's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. I have found that blue, kind people are big. Interestingly, cold and rough people are kind. When someone feels cold, while being big and rough, they always turn out to be red. When a person's traits are to be big, blue and cold, they will also have a red trait. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Looking blue can be a sign that someone is cold. A person with the qualities of being cold and being red will also be a person that is green.
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Gary is blue.
True
1
proof
[(triple12)]
("Gary" "is" "blue" "+")
triple12
Fred is not young.
False
1
inv-proof
[(triple4)]
("Fred" "is" "young" "-")
triple4
Bob is cold.
True
2
proof
[(((triple1) -> rule6))]
("Bob" "is" "cold" "+")
((triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple7 triple5) -> rule7) OR ((triple7 ((triple9 triple7 triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) triple5) -> rule7) OR ((((triple8) -> rule6) ((triple9 triple7 triple8) -> rule4)) -> rule7) OR ((triple7 ((triple9 ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((triple7 ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4)) -> rule7) OR ((triple7 ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((triple9 ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4)) -> rule7))]
("Fred" "is" "green" "-")
((triple7 triple5) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple7 ((triple9 triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((triple8) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple9 triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((triple7 ((triple9 ((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((triple7 ((((triple8 triple6) -> (rule1 % int3)) triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((triple7 ((((triple8 triple6) -> (rule1 % int4)) ((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
((((triple8) -> (rule6 % int3)) ((triple9 ((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple8) -> (rule6 % int4)) ((((triple8 triple6) -> (rule1 % int3)) triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8) -> (rule6 % int4)) ((((triple8 triple6) -> (rule1 % int3)) ((triple8) -> (rule6 % int4)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Gary is big.
True
4
proof
[(((((triple12) -> rule6) triple10) -> rule5))]
("Gary" "is" "big" "+")
((((triple12) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not big.
False
4
inv-proof
[(((((triple12) -> rule6) triple10) -> rule5))]
("Gary" "is" "big" "-")
((((triple12) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
True
8
proof
[(((((((triple12) -> rule6) triple10) -> rule5) ((triple12) -> rule6) triple12) -> rule4))]
("Gary" "is" "red" "+")
((((((triple12) -> (rule6 % int3)) triple10) -> (rule5 % int2)) ((triple12) -> (rule6 % int3)) triple12) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not red.
False
8
inv-proof
[(((((((triple12) -> rule6) triple10) -> rule5) ((triple12) -> rule6) triple12) -> rule4))]
("Gary" "is" "red" "-")
((((((triple12) -> (rule6 % int3)) triple10) -> (rule5 % int2)) ((triple12) -> (rule6 % int3)) triple12) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@4: Bob is green.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule1 <- rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not red.
Unknown
inv-rconc
[@3: Bob is red.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Bob is blue.[(triple1)] Dave is cold.[(triple3)] Dave is red.[(triple2)] Fred is big.[(triple9 OR ((triple8 triple6) -> rule1))] Fred is blue.[(triple8)] Fred is cold.[(triple7 OR ((triple8) -> rule6))] Fred is kind.[(triple6)] Fred is red.[(triple5 OR ((triple9 triple7 triple8) -> rule4) OR ((triple9 ((triple8) -> rule6) triple8) -> rule4) OR ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4) OR ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4))] Fred is young.[(triple4)] Gary is blue.[(triple12)] Gary is green.[(triple11 OR ((((triple12) -> rule6) ((((((triple12) -> rule6) triple10) -> rule5) ((triple12) -> rule6) triple12) -> rule4)) -> rule7))] Gary is nice.[(triple10)] @1: Bob is cold.[(((triple1) -> rule6))] Dave is green.[(((triple3 triple2) -> rule7))] Fred is green.[(((triple7 triple5) -> rule7) OR ((triple7 ((triple9 triple7 triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) triple5) -> rule7) OR ((((triple8) -> rule6) ((triple9 triple7 triple8) -> rule4)) -> rule7) OR ((triple7 ((triple9 ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((triple7 ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4)) -> rule7) OR ((triple7 ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((triple9 ((triple8) -> rule6) triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((((triple8 triple6) -> rule1) triple7 triple8) -> rule4)) -> rule7) OR ((((triple8) -> rule6) ((((triple8 triple6) -> rule1) ((triple8) -> rule6) triple8) -> rule4)) -> rule7))] Gary is cold.[(((triple12) -> rule6))] @2: Gary is big.[(((((triple12) -> rule6) triple10) -> rule5))] @3: Gary is red.[(((((((triple12) -> rule6) triple10) -> rule5) ((triple12) -> rule6) triple12) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple9
((triple8 triple6) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
((triple8) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
((triple9 triple7 triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple9 ((triple8) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple8 triple6) -> (rule1 % int2)) triple7 triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
((((triple8 triple6) -> (rule1 % int3)) ((triple8) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
((((triple12) -> (rule6 % int4)) ((((((triple12) -> (rule6 % int4)) triple10) -> (rule5 % int3)) ((triple12) -> (rule6 % int4)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple2) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple5) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
((triple7 ((triple9 triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((triple8) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple9 triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((triple7 ((triple9 ((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((triple7 ((((triple8 triple6) -> (rule1 % int3)) triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((triple7 ((((triple8 triple6) -> (rule1 % int4)) ((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
int4
((((triple8) -> (rule6 % int3)) ((triple9 ((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple8) -> (rule6 % int4)) ((((triple8 triple6) -> (rule1 % int3)) triple7 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
((((triple8) -> (rule6 % int4)) ((((triple8 triple6) -> (rule1 % int3)) ((triple8) -> (rule6 % int4)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple12) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple12) -> (rule6 % int3)) triple10) -> (rule5 % int2)) ((triple12) -> (rule6 % int3)) triple12) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob wears all blue.
Dave gets red when he is mad and tends to act very cold.
People who know Fred know he's red, kind, young, cold, blue and big.
Gary's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
I have found that blue, kind people are big.
Interestingly, cold and rough people are kind.
When someone feels cold, while being big and rough, they always turn out to be red.
When a person's traits are to be big, blue and cold, they will also have a red trait.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Looking blue can be a sign that someone is cold.
A person with the qualities of being cold and being red will also be a person that is green.