Bob is green, which is a possible explanation for why he is so nice. Charlie is known for being big and rough. Some people have found out he is cold and blue as well. What many people do not know, it that he is also very nice. Dave was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Harry is blue and cold. Someone who looks rough and feels cold is also kind to others. Red and round people are nice to others even though they are big. People with blue and red skin color are also green. A big person who is kind and nice is usually red because their prone to blushing. Rough people who are nice and have green thumbs are almost always young. It's just a fact that a blue person is a kind person. Young and kind people, that also tend to be cold, are then considered green.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind and cold then they are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Dave is blue.
True
1
proof
[(triple10)]
("Dave" "is" "blue" "+")
triple10
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Harry is kind.
True
2
proof
[(((triple12) -> rule6))]
("Harry" "is" "kind" "+")
((triple12) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Dave is not kind.
False
2
inv-proof
[(((triple10) -> rule6))]
("Dave" "is" "kind" "-")
((triple10) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Charlie is red.
True
5
proof
[(((((triple6) -> rule6) triple4 triple7) -> rule4) OR ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4))]
("Charlie" "is" "red" "+")
((((triple6) -> (rule6 % int2)) triple4 triple7) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule1 % int2)) triple4 triple7) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((((triple6) -> rule6) triple4 triple7) -> rule4) OR ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4))]
("Charlie" "is" "red" "-")
((((triple6) -> (rule6 % int2)) triple4 triple7) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule1 % int2)) triple4 triple7) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
True
7
proof
[(((triple6 ((((triple6) -> rule6) triple4 triple7) -> rule4)) -> rule3) OR ((triple6 ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4)) -> rule3))]
("Charlie" "is" "green" "+")
((triple6 ((((triple6) -> (rule6 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple6 ((((triple3 triple5) -> (rule1 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not green.
False
7
inv-proof
[(((triple6 ((((triple6) -> rule6) triple4 triple7) -> rule4)) -> rule3) OR ((triple6 ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4)) -> rule3))]
("Charlie" "is" "green" "-")
((triple6 ((((triple6) -> (rule6 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple6 ((((triple3 triple5) -> (rule1 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
True
10
proof
[(((triple4 ((triple6 ((((triple6) -> rule6) triple4 triple7) -> rule4)) -> rule3) triple3) -> rule5) OR ((triple4 ((triple6 ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4)) -> rule3) triple3) -> rule5))]
("Charlie" "is" "young" "+")
((triple4 ((triple6 ((((triple6) -> (rule6 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((triple6 ((((triple3 triple5) -> (rule1 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not young.
False
10
inv-proof
[(((triple4 ((triple6 ((((triple6) -> rule6) triple4 triple7) -> rule4)) -> rule3) triple3) -> rule5) OR ((triple4 ((triple6 ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4)) -> rule3) triple3) -> rule5))]
("Charlie" "is" "young" "-")
((triple4 ((triple6 ((((triple6) -> (rule6 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((triple6 ((((triple3 triple5) -> (rule1 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "young" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is green.[(triple2)] Bob is nice.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Charlie is rough.[(triple3)] Dave is blue.[(triple10)] Dave is green.[(triple9)] Dave is round.[(triple8)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] @1: Charlie is kind.[(((triple6) -> rule6) OR ((triple3 triple5) -> rule1))] Dave is kind.[(((triple10) -> rule6))] Harry is kind.[(((triple12) -> rule6))] @2: Charlie is red.[(((((triple6) -> rule6) triple4 triple7) -> rule4) OR ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4))] @3: Charlie is green.[(((triple6 ((((triple6) -> rule6) triple4 triple7) -> rule4)) -> rule3) OR ((triple6 ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4)) -> rule3))] @4: Charlie is young.[(((triple4 ((triple6 ((((triple6) -> rule6) triple4 triple7) -> rule4)) -> rule3) triple3) -> rule5) OR ((triple4 ((triple6 ((((triple3 triple5) -> rule1) triple4 triple7) -> rule4)) -> rule3) triple3) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple3 triple5) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple12) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple6) -> (rule6 % int2)) triple4 triple7) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule1 % int2)) triple4 triple7) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple6 ((((triple6) -> (rule6 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple6 ((((triple3 triple5) -> (rule1 % int3)) triple4 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 ((triple6 ((((triple6) -> (rule6 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple4 ((triple6 ((((triple3 triple5) -> (rule1 % int4)) triple4 triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Bob is green, which is a possible explanation for why he is so nice.
Charlie is known for being big and rough; Some people have found out he is cold and blue as well; What many people do not know, it that he is also very nice.
Dave was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Harry is blue and cold.
Someone who looks rough and feels cold is also kind to others.
Red and round people are nice to others even though they are big.
People with blue and red skin color are also green.
A big person who is kind and nice is usually red because their prone to blushing.
Rough people who are nice and have green thumbs are almost always young.
It's just a fact that a blue person is a kind person.
Young and kind people, that also tend to be cold, are then considered green.