Charlie is big and round man that is looking rather green after seeing some bad mayonnaise. Dave is kind and round. Being round makes him a bit blue. Eric who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red. I have found that blue, kind people are big. Any rather round person exposed to weather that leaves them red and cold will feel blue. A rough person who is young and nice is also red. A cold and blue appearing person will be young as well. Nice people are kind and rough when they are young. Kind young people are also red and green.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Dave is kind.
True
1
proof
[(triple5)]
("Dave" "is" "kind" "+")
triple5
Eric is not rough.
False
1
inv-proof
[(triple8)]
("Eric" "is" "rough" "-")
triple8
Dave is big.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Dave" "is" "big" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Eric is not blue.
False
4
inv-proof
[(((triple7 triple9 triple11) -> rule2))]
("Eric" "is" "blue" "-")
((triple7 triple9 triple11) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
True
6
proof
[(((triple11 ((triple7 triple9 triple11) -> rule2)) -> rule4))]
("Eric" "is" "young" "+")
((triple11 ((triple7 triple9 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not young.
False
6
inv-proof
[(((triple11 ((triple7 triple9 triple11) -> rule2)) -> rule4))]
("Eric" "is" "young" "-")
((triple11 ((triple7 triple9 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
True
9
proof
[(((triple9 ((triple11 ((triple7 triple9 triple11) -> rule2)) -> rule4) triple10) -> rule6))]
("Eric" "is" "green" "+")
((triple9 ((triple11 ((triple7 triple9 triple11) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not green.
False
9
inv-proof
[(((triple9 ((triple11 ((triple7 triple9 triple11) -> rule2)) -> rule4) triple10) -> rule6))]
("Eric" "is" "green" "-")
((triple9 ((triple11 ((triple7 triple9 triple11) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Dave is not green.
Unknown
inv-rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Charlie is big.[(triple3)] Charlie is green.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is round.[(triple4)] Eric is big.[(triple12 OR ((((triple7 triple9 triple11) -> rule2) triple10) -> rule1))] Eric is cold.[(triple11)] Eric is kind.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] Eric is round.[(triple7)] @1: Dave is big.[(((triple6 triple5) -> rule1))] Eric is blue.[(((triple7 triple9 triple11) -> rule2))] @2: Eric is young.[(((triple11 ((triple7 triple9 triple11) -> rule2)) -> rule4))] @3: Eric is green.[(((triple9 ((triple11 ((triple7 triple9 triple11) -> rule2)) -> rule4) triple10) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple12
((((triple7 triple9 triple11) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 triple9 triple11) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple11 ((triple7 triple9 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple9 ((triple11 ((triple7 triple9 triple11) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Charlie is big and round man that is looking rather green after seeing some bad mayonnaise.
Dave is kind and round; Being round makes him a bit blue.
Eric who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red.
I have found that blue, kind people are big.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
A rough person who is young and nice is also red.
A cold and blue appearing person will be young as well.
Nice people are kind and rough when they are young.
Kind young people are also red and green.