Dave, a round shaped individual is nice to others.  He is red and green. From a certain angle Eric is blue but he is young so maybe that will go away. In the snow sits Fred, crying from being cold. Harry is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Their actions reflected how young and kind but green they were making things seem blue. Kind big people are green and young. A person with big hair and rough lips is certainly young and jaded. A green person that is cold is often considered to be red. A nice red person that is cold is always big, I have found. A person with a round body will be feeling very cold and will be rough to handle. Young people that are big in size, tend to be more on the blue side.
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple11)]
("Harry" "is" "cold" "+")
triple11
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Harry is big.
True
4
proof
[(((triple9 triple10 triple11) -> rule5))]
("Harry" "is" "big" "+")
((triple9 triple10 triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
4
inv-proof
[(((triple9 triple10 triple11) -> rule5))]
("Harry" "is" "big" "-")
((triple9 triple10 triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
True
6
proof
[(((triple8 ((triple9 triple10 triple11) -> rule5)) -> rule3))]
("Harry" "is" "young" "+")
((triple8 ((triple9 triple10 triple11) -> (rule5 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not young.
False
6
inv-proof
[(((triple8 ((triple9 triple10 triple11) -> rule5)) -> rule3))]
("Harry" "is" "young" "-")
((triple8 ((triple9 triple10 triple11) -> (rule5 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
True
11
proof
[(((((triple9 triple10 triple11) -> rule5) ((triple8 ((triple9 triple10 triple11) -> rule5)) -> rule3)) -> rule7))]
("Harry" "is" "blue" "+")
((((triple9 triple10 triple11) -> (rule5 % int3)) ((triple8 ((triple9 triple10 triple11) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not blue.
False
11
inv-proof
[(((((triple9 triple10 triple11) -> rule5) ((triple8 ((triple9 triple10 triple11) -> rule5)) -> rule3)) -> rule7))]
("Harry" "is" "blue" "-")
((((triple9 triple10 triple11) -> (rule5 % int3)) ((triple8 ((triple9 triple10 triple11) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Fred is blue.
Unknown
rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "young" "-")
Dave is blue.
Unknown
rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Dave" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is round.[(triple1)] Eric is blue.[(triple6)] Eric is young.[(triple5)] Fred is cold.[(triple7)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] @1: Harry is big.[(((triple9 triple10 triple11) -> rule5))] @2: Harry is young.[(((triple8 ((triple9 triple10 triple11) -> rule5)) -> rule3))] @3: Harry is blue.[(((((triple9 triple10 triple11) -> rule5) ((triple8 ((triple9 triple10 triple11) -> rule5)) -> rule3)) -> rule7))]
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
((triple9 triple10 triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple8 ((triple9 triple10 triple11) -> (rule5 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple9 triple10 triple11) -> (rule5 % int3)) ((triple8 ((triple9 triple10 triple11) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Dave, a round shaped individual is nice to others; He is red and green.
From a certain angle Eric is blue but he is young so maybe that will go away.
In the snow sits Fred, crying from being cold.
Harry is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Their actions reflected how young and kind but green they were making things seem blue.
Kind big people are green and young.
A person with big hair and rough lips is certainly young and jaded.
A green person that is cold is often considered to be red.
A nice red person that is cold is always big, I have found.
A person with a round body will be feeling very cold and will be rough to handle.
Young people that are big in size, tend to be more on the blue side.