Dave is a red fellow who habitually looks blue. He's often cold. Eric is a very kind, green but sometimes cold person. Young Fred is so nice even though he always feels cold.  He loves to wear blue and green clothes. 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. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A rough and kind person is big. A quite nice person will certainly be red. I've noticed that red, cold people who are kind have the trait of rough skin. A cold natured but kind person will certainly be red. People who are nice and rough are looked at as kind.
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
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 rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Fred is green.
True
1
proof
[(triple9)]
("Fred" "is" "green" "+")
triple9
Fred is not cold.
False
1
inv-proof
[(triple10)]
("Fred" "is" "cold" "-")
triple10
Fred is red.
True
2
proof
[(((triple8) -> rule4) OR ((triple11 triple8 triple9) -> rule1))]
("Fred" "is" "red" "+")
((triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple11 triple8 triple9) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple6 triple4) -> rule6))]
("Eric" "is" "red" "-")
((triple6 triple4) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
True
6
proof
[(((triple4 triple6 ((triple6 triple4) -> rule6)) -> rule5))]
("Eric" "is" "rough" "+")
((triple4 triple6 ((triple6 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not rough.
False
6
inv-proof
[(((triple4 triple6 ((triple6 triple4) -> rule6)) -> rule5))]
("Eric" "is" "rough" "-")
((triple4 triple6 ((triple6 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
True
8
proof
[(((triple4 ((triple4 triple6 ((triple6 triple4) -> rule6)) -> rule5)) -> rule3))]
("Eric" "is" "big" "+")
((triple4 ((triple4 triple6 ((triple6 triple4) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not big.
False
8
inv-proof
[(((triple4 ((triple4 triple6 ((triple6 triple4) -> rule6)) -> rule5)) -> rule3))]
("Eric" "is" "big" "-")
((triple4 ((triple4 triple6 ((triple6 triple4) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "kind" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not big.
Unknown
inv-rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Alan" "is" "big" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "kind" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Dave is blue.[(triple3)] Dave is cold.[(triple2)] Dave is red.[(triple1)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is young.[(triple7)] @1: Eric is red.[(((triple6 triple4) -> rule6))] Fred is red.[(((triple8) -> rule4) OR ((triple11 triple8 triple9) -> rule1))] @2: Eric is rough.[(((triple4 triple6 ((triple6 triple4) -> rule6)) -> rule5))] @3: Eric is big.[(((triple4 ((triple4 triple6 ((triple6 triple4) -> rule6)) -> rule5)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
((triple6 triple4) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple11 triple8 triple9) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple4 triple6 ((triple6 triple4) -> (rule6 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple4 ((triple4 triple6 ((triple6 triple4) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Dave is a red fellow who habitually looks blue; He's often cold.
Eric is a very kind, green but sometimes cold person.
Young Fred is so nice even though he always feels cold; He loves to wear blue and green clothes.
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.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
A rough and kind person is big.
A quite nice person will certainly be red.
I've noticed that red, cold people who are kind have the trait of rough skin.
A cold natured but kind person will certainly be red.
People who are nice and rough are looked at as kind.