Charlie is known to be rough and green. Dave, is a rather young, rough, and round person who is considered kind.  Today however he is red from a sunburn and looks green after seeing some rather rotten trash. Even though he's a big dude, Harry is cold. Someone who is round in shape and green in color is usually cold. I see it all the time, nice big people make equal a cold person. If a person that is kind is big and blue they have to be young. You can count on someone who is red and green being young. Young people with red, flushed cheeks who are rough around the edges are really quite nice. You will discover that green rough people are always red. Big, red things tend to have a kind spirit to them.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Dave is rough.
True
1
proof
[(triple5)]
("Dave" "is" "rough" "+")
triple5
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Dave is nice.
True
4
proof
[(((triple6 triple3 triple5) -> rule5) OR ((triple6 ((triple6 triple8) -> rule4) triple5) -> rule5) OR ((((triple8 triple5) -> rule6) triple3 triple5) -> rule5) OR ((((triple8 triple5) -> rule6) ((triple6 triple8) -> rule4) triple5) -> rule5) OR ((triple6 ((((triple8 triple5) -> rule6) triple8) -> rule4) triple5) -> rule5) OR ((((triple8 triple5) -> rule6) ((((triple8 triple5) -> rule6) triple8) -> rule4) triple5) -> rule5))]
("Dave" "is" "nice" "+")
((triple6 triple3 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 ((triple6 triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple8 triple5) -> (rule6 % int2)) triple3 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple8 triple5) -> (rule6 % int3)) ((triple6 triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple6 ((((triple8 triple5) -> (rule6 % int3)) triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple8 triple5) -> (rule6 % int3)) ((((triple8 triple5) -> (rule6 % int3)) triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Charlie is not red.
False
3
inv-proof
[(((triple2 triple1) -> rule6))]
("Charlie" "is" "red" "-")
((triple2 triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
True
5
proof
[(((((triple2 triple1) -> rule6) triple2) -> rule4))]
("Charlie" "is" "young" "+")
((((triple2 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not young.
False
5
inv-proof
[(((((triple2 triple1) -> rule6) triple2) -> rule4))]
("Charlie" "is" "young" "-")
((((triple2 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
True
10
proof
[(((((triple2 triple1) -> rule6) ((((triple2 triple1) -> rule6) triple2) -> rule4) triple1) -> rule5))]
("Charlie" "is" "nice" "+")
((((triple2 triple1) -> (rule6 % int3)) ((((triple2 triple1) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not nice.
False
10
inv-proof
[(((((triple2 triple1) -> rule6) ((((triple2 triple1) -> rule6) triple2) -> rule4) triple1) -> rule5))]
("Charlie" "is" "nice" "-")
((((triple2 triple1) -> (rule6 % int3)) ((((triple2 triple1) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Charlie is green.[(triple2)] Charlie is rough.[(triple1)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is red.[(triple6 OR ((triple8 triple5) -> rule6))] Dave is rough.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3 OR ((triple6 triple8) -> rule4) OR ((((triple8 triple5) -> rule6) triple8) -> rule4))] Harry is big.[(triple10)] Harry is cold.[(triple9)] @1: Charlie is red.[(((triple2 triple1) -> rule6))] Dave is cold.[(((triple8 triple4) -> rule1))] Dave is nice.[(((triple6 triple3 triple5) -> rule5) OR ((triple6 ((triple6 triple8) -> rule4) triple5) -> rule5) OR ((((triple8 triple5) -> rule6) triple3 triple5) -> rule5) OR ((((triple8 triple5) -> rule6) ((triple6 triple8) -> rule4) triple5) -> rule5) OR ((triple6 ((((triple8 triple5) -> rule6) triple8) -> rule4) triple5) -> rule5) OR ((((triple8 triple5) -> rule6) ((((triple8 triple5) -> rule6) triple8) -> rule4) triple5) -> rule5))] @2: Charlie is young.[(((((triple2 triple1) -> rule6) triple2) -> rule4))] @3: Charlie is nice.[(((((triple2 triple1) -> rule6) ((((triple2 triple1) -> rule6) triple2) -> rule4) triple1) -> rule5))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
((triple8 triple5) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
((triple6 triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple8 triple5) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
((triple2 triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 triple4) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple3 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 ((triple6 triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple8 triple5) -> (rule6 % int2)) triple3 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple8 triple5) -> (rule6 % int3)) ((triple6 triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple6 ((((triple8 triple5) -> (rule6 % int3)) triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple8 triple5) -> (rule6 % int3)) ((((triple8 triple5) -> (rule6 % int3)) triple8) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((triple2 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple2 triple1) -> (rule6 % int3)) ((((triple2 triple1) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is known to be rough and green.
Dave, is a rather young, rough, and round person who is considered kind; Today however he is red from a sunburn and looks green after seeing some rather rotten trash.
Even though he's a big dude, Harry is cold.
Someone who is round in shape and green in color is usually cold.
I see it all the time, nice big people make equal a cold person.
If a person that is kind is big and blue they have to be young.
You can count on someone who is red and green being young.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
You will discover that green rough people are always red.
Big, red things tend to have a kind spirit to them.