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.
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.